Login / Signup
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
Junji Kitamichi
Sumio Morioka
Teruo Higashino
Kenichi Taniguchi
Published in:
TPCD (1994)
Keyphrases
</>
asynchronous communication
inference rules
implementation issues
circuit design
high speed
theorem proving
semi automatic
efficient implementation
provably correct
proof planning
real time
e learning
relational databases
data driven
fully automatic
hardware implementation