Hardware Refinement

Hardware Refinement is a formal methodology within hardware modeling for digital systems that specifies the stepwise transformation of an abstract hardware design into a more detailed, functionally equivalent implementation while preserving correctness through rigorous verification.

Publications

732

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Hardware Modeling For Digital Systems

Publications

SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design

Daniel D. Gajski, Frank Vahid, Sanjiv M. Narayan et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 125 citations

Engineering, Computer Engineering, Computer Science +16

Exercise Countermeasure Hardware Evolution on ISS: The First Decade

Deborah W. Korth · Aerospace Medicine and Human Performance · 2015 · 52 citations

Engineering, Aerospace Engineering, Biomedical Engineering +13

Hardware improvement of Cybernetic Human HRP-4C for entertainment use

Kenji Kaneko, Fumio Kanehiro, Mitsuharu Morisawa et al. · 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems · 2011 · 48 citations

Engineering, Mechatronics Engineering, Robotics Engineering +9

Mixed-Level Cosimulation for Fine Gradual Refinement of Communication in SoC Design

2001 · 39 citations

Engineering, Communication, Computer Engineering +14

Lazy abstraction and SAT-based reachability in hardware model checking

Yakir Vizel, Orna Grümberg, Sharon Shoham · Formal Methods in Computer-Aided Design · 2012 · 34 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 30

Authors

KW
Klaus Waldschmidt
Goethe University Frankfurt, Germany
2 publications · 33 citations
2
h-index
XC
Xiaofang Chen
Central South University, China
2 publications · 23 citations
2
h-index
FF
Franco Fummi
University of Verona, Italy
2 publications · 26 citations
2
h-index
TX
Tao Xie
North Carolina State University, United States
2 publications · 26 citations
2
h-index
JG
Jie Gong
Rutgers, The State University of New Jersey, United States
2 publications · 152 citations
2
h-index

1–5 of 89

Institutions

1–8 of 47

Venues

Formal Methods in Computer-Aided Design
Conference · 2 publications · 46 citations
2
h-index
Design, Automation, and Test in Europe
Conference · 2 publications · 25 citations
2
h-index
ACM Transactions on Design Automation of Electronic Systems
TODAES · 1 publications · 29 citations
1
h-index
Kybernetes
1 publications · 11 citations
1
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
1 publications · 125 citations
1
h-index

1–5