Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
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 Technische Informatik Hardware: Grundlagen und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
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.




