Buch, Englisch, 200 Seiten, Format (B × H): 155 mm x 235 mm
Buch, Englisch, 200 Seiten, Format (B × H): 155 mm x 235 mm
ISBN: 978-1-4614-3060-5
Verlag: Springer
This book provides a comprehensive overview of techniques for modeling, abstracting, and formalizing custom memories. It should benefit researchers and practitioners involved either in the design or in the validation of memory circuits. It explains different state-of-the-art transistor technologies used in memory design, and how the design technology affects verification.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Schaltungsentwurf
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Halb- und Supraleitertechnologie
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
Weitere Infos & Material
Transistor Networks.- CMOS Memory Design.- Non-volatile Memories.- Switch-level Models.- Regular Expressions.- Behavioral Abstraction.- Verification Overview.- Switch-level Verification.- Reductions.- Trace Containment.




