Concepedia

Fumiyasu Hirose

FH

10

Publications

247

Citations

10

H-Index

1980

Active since

Affiliations

Fujitsu (Japan)(Current)

Fujitsu (United States)

Fumiyasu Hirose is an author at Fujitsu (Japan) specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsSystems EngineeringComputer ArchitectureFormal VerificationHardware SecurityParallel ComputingVerification

Publications per year

1980–2003

10

Publications

10

Automatic test program generation for pipelined processors

Hiroaki Iwashita, S. Kowatari, Tsuneo Nakata et al. · International Conference on Computer Aided Design · 1994 · 56 citations

Engineering, Hardware Verification Language, Verification +22

CTL model checking based on forward state traversal

Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose · International Conference on Computer Aided Design · 1996 · 54 citations

Engineering, Verification, Computer-aided Verification +17

Efficient placement and routing techniques for master slice LSI

Hiroshi Shiraishi, Fumiyasu Hirose · 1980 · 29 citations

Engineering, Electronic Design Automation, Network Planning +18

CTL model checking based on forward state traversal

Hidetoshi Iwashita, Tsuneo Nakata, Fumiyasu Hirose · 2002 · 26 citations

Engineering, Verification, Computer-aided Verification +17

Logic synthesis for a single large look-up table

Rajeev Murgai, Masahiro Fujita, Fumiyasu Hirose · 2002 · 20 citations

Look-up Tables, Engineering, Computer Architecture +20

Rows per page

1–5 of 10