Login / Signup
Integrated Verification Approach during ADL-Driven Processor Design.
Anupam Chattopadhyay
Arnab Sinha
Diandian Zhang
Rainer Leupers
Gerd Ascheid
Heinrich Meyr
Published in:
IEEE International Workshop on Rapid System Prototyping (2006)
Keyphrases
</>
functional verification
building blocks
design process
computer architecture
single chip
knowledge based systems
computer aided
formal verification
case study
ambient intelligence
model checking
complex engineering systems