Login / Signup
Practical Considerations in Formal Equivalence Checking of PowerPC(tm) Microprocessors.
Arun Chandra
Li-C. Wang
Magdy S. Abadir
Published in:
Great Lakes Symposium on VLSI (1998)
Keyphrases
</>
operating system
personal computer
computing power
genetic algorithm
low cost
operational semantics
consistency checking
database
real time
real world
artificial intelligence
clustering algorithm
formal model
mathematical theory
formal language