Login / Signup
Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.
Zurab Khasidashvili
Marcelo Skaba
Daher Kaiss
Ziyad Hanna
Published in:
ICCAD (2004)
Keyphrases
</>
theoretical framework
conceptual framework
theoretical foundation
hardware and software
real time
low cost
circuit design
formal verification
design theory
collaborative knowledge building
fundamental principles