Login / Signup
An equivalence checking methodology for hardware oriented C-based specifications.
Hiroshi Saito
Takaya Ogawa
Thanyapat Sakunkonchak
Masahiro Fujita
Takashi Nanya
Published in:
HLDVT (2002)
Keyphrases
</>
low cost
hardware and software
real time
neural network
information systems
computer systems
hardware implementation
computing systems
delay insensitive
control program
consistency checking
hardware design
computing power
design methodology
database systems
high level
knowledge base
data sets