Login / Signup
Towards a Formal Model of VLSI Systems Compativle with VHDL.
Philip A. Wilsey
Timothy J. McBrayer
David Sims
Published in:
VLSI (1991)
Keyphrases
</>
formal model
security patterns
intelligent systems
complex systems
management system
low cost
expert systems
computer systems
artificial intelligence
case based reasoning
distributed systems
software systems
formal models
predicate calculus