Switch to list view
Switch to thumbnail view
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Quality-Driven SystemC Design
Quality-Driven SystemC Design
Author 
Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3631-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017
Author 
Große, Daniel. editor. Vinco, Sara. editor. Patel, Hiren. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02215-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Enhanced Virtual Prototyping for Heterogeneous Systems
Enhanced Virtual Prototyping for Heterogeneous Systems
Author 
Hassan, Muhammad. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05574-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
Author 
Chandrasekharan, Arun. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets