Book serie: / Книги серии: Series on integrated circuits and systems » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Series on integrated circuits and systems » Page 7

book SAT-based scalable formal verification solutions

SAT-based scalable formal verification solutions

pdf

Author: Malay Ganai Aarti Gupta
Language: English
Year: 2007

00

26.01.2024

0

0

book Low Power Design Essentials

Low Power Design Essentials

pdf

Author: Jan Rabaey (auth.)
Language: English
Year: 2009

00

26.01.2024

1

0

book Thermal and Power Management of Integrated Circuits

Thermal and Power Management of Integrated Circuits

pdf

Author: Arman Vassighi Manoj Sachdev
Language: English
Year: 2006

00

26.01.2024

0

0

book Routing Congestion in VLSI Circuits: Estimation and Optimization

Routing Congestion in VLSI Circuits: Estimation and Optimization

pdf

Author: Prashant Saxena Rupesh S. Shelar Sachin Sapatnekar
Language: English
Year: 2010

00

26.01.2024

1

0

book Modern Circuit Placement: Best Practices and Results

Modern Circuit Placement: Best Practices and Results

pdf

Author: Gi-Joon Nam Jason Cong
Language: English
Year: 2010

00

26.01.2024

0

0

book Semiconductor Device Physics and Design

Semiconductor Device Physics and Design

pdf

Author: Umesh Mishra Jasprit Singh
Language: English
Year: 2008

00

26.01.2024

0

0

book Semiconductor Device Physics and Design

Semiconductor Device Physics and Design

pdf

Author: Umesh Mishra Jasprit Singh
Language: English
Year: 2007

00

26.01.2024

1

0

book Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

pdf

Author: Chao Wang Gary D. Hachtel Fabio Somenzi
Language: English
Year: 2006

00

26.01.2024

0

0