Login / Signup
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.
Dong-Ah Lee
Junbeom Yoo
Jang-Soo Lee
Published in:
Reliab. Eng. Syst. Saf. (2013)
Keyphrases
</>
rapid prototyping
design space
implementation issues
design considerations
circuit design
search engine
platform independent
design methodologies
design process
high level synthesis
neural network
computer aided
distributed databases
engineering design
formal methods
modular design