Rezultati

1

Design of Embedded Control Systems

od Adamski, Marian Andrzej., Karatkevich, Andrei., Wegrzyn, Marek.
Izdano 2005

eKnjiga

2

Taxonomies for the Development and Verification of Digital Systems

Izdano 2005

eKnjiga

3

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /

od Mishra, Prabhat., Dutt, Nikil D.
Izdano 2005

eKnjiga

4

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04 /

Izdano 2005

eKnjiga

5

New Algorithms, Architectures and Applications for Reconfigurable Computing

Izdano 2005

eKnjiga

6

Mixed-Signal Layout Generation Concepts

od Lin, Chieh., Leenaerts, Domine M. W., Roermund, Arthur H. M.
Izdano 2005

eKnjiga

7

Direct Transistor-level Layout for Digital Blocks

od Gopalakrishnan, Prakash., Rutenbar, Rob A.
Izdano 2005

eKnjiga

8

Interconnect-Centric Design for Advanced SoC and NoC

Izdano 2005

eKnjiga

9

Assertion-Based Design

od Foster, Harry., Krolnik, Adam., Lacey, David.
Izdano 2005

eKnjiga

10

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /

od Patel, Hiren D., Shukla, Sandeep K.
Izdano 2005

eKnjiga

11

The Universal Generating Function in Reliability Analysis and Optimization

od Levitin, Gregory.
Izdano 2005

eKnjiga

12

Robust Control Design with MATLAB

od Gu, Da-Wei., Konstantinov, Mihail Mihaylov., Petkov, Petko Hristov.
Izdano 2005

eKnjiga

13

Routing Congestion in VLSI Circuits Estimation and Optimization /

od Saxena, Prashant., Sapatnekar, Sachin S., Shelar, Rupesh S.
Izdano 2007

eKnjiga

14

CMOS Biotechnology

Izdano 2007

eKnjiga

15

Hardware Verification with SystemVerilog An Object-Oriented Framework /

od Mintz, Mike., Ekendahl, Robert.
Izdano 2007

eKnjiga

16

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /

od Chinnery, David., Keutzer, Kurt.
Izdano 2007

eKnjiga

17

Digital Design and Implementation with Field Programmable Devices

od Navabi, Zainalabedin.
Izdano 2005

eKnjiga

18

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /

od Leventhal, Roy G., Green, Lynne.
Izdano 2006

eKnjiga

19

Scalable Hardware Verification with Symbolic Simulation

od Bertacco, Valeria.
Izdano 2006

eKnjiga

20

Verification Methodology Manual for SystemVerilog

od Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andrew.
Izdano 2006

eKnjiga

Zoži iskanje