Towards one-pass synthesisRolf Drechsler
Towards one-pass synthesis
Rolf Drechsler, Wolfgang Gunther · 2002
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2002
- הוצאה
- Kluwer Academic Publishers
- מהדורות
- 1
- עמודים
- 181
- ISBN
- 9781402005862
מקור הנתונים: Wikidata
עוד של Rolf Drechsler
Towards One-Pass SynthesisRolf Drechsler
Towards One-Pass Synthesis
Rolf Drechsler · 2002
Formal Verification of CircuitsRolf Drechsler
Formal Verification of Circuits
Rolf Drechsler · 2000
Binary Decision DiagramsRolf Drechsler
Binary Decision Diagrams
Rolf Drechsler · 1998
Evolutionary Algorithms for VLSI CADRolf Drechsler
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Advanced Boolean TechniquesRolf Drechsler
Advanced Boolean Techniques
Rolf Drechsler · 2023
Formal System VerificationRolf Drechsler
Formal System Verification
Rolf Drechsler · 2017
Formal Modeling and Verification of Cyber-Physical SystemsRolf Drechsler
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler · 2015
Test pattern generation using Boolean proof enginesRolf Drechsler
Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Advanced Formal VerificationRolf Drechsler
Advanced Formal Verification
Rolf Drechsler · 2004
Evolutionary Algorithms for Embedded System DesignRolf Drechsler
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003