Search Results for - Narrowed by: E-Book - Electronic Library - 2006 - Computer aided design. - Systems engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Systems$002bengineering.$002509Systems$002bengineering.$0026ps$003d300$0026isd$003dtrue?
2024-08-27T20:16:10Z
Abstraction Refinement for Large Scale Model Checking
ent://SD_ILS/0/SD_ILS:166047
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34600-7">http://dx.doi.org/10.1007/0-387-34600-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
ent://SD_ILS/0/SD_ILS:166049
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34609-0">http://dx.doi.org/10.1007/0-387-34609-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
ent://SD_ILS/0/SD_ILS:182190
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Lienig, Jens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity
ent://SD_ILS/0/SD_ILS:165020
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Leventhal, Roy G. author. Green, Lynne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104647">http://dx.doi.org/10.1007/b104647</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leakage in Nanometer CMOS Technologies
ent://SD_ILS/0/SD_ILS:165474
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28133-9">http://dx.doi.org/10.1007/0-387-28133-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Hardware Verification with Symbolic Simulation
ent://SD_ILS/0/SD_ILS:165683
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Bertacco, Valeria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-29906-8">http://dx.doi.org/10.1007/0-387-29906-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded System Design
ent://SD_ILS/0/SD_ILS:165694
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30087-2">http://dx.doi.org/10.1007/0-387-30087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Verification with C++ A Practitioner’s Handbook
ent://SD_ILS/0/SD_ILS:166141
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
ent://SD_ILS/0/SD_ILS:166152
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-36495-1">http://dx.doi.org/10.1007/0-387-36495-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility
ent://SD_ILS/0/SD_ILS:165289
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Ben Dhia, Sonia. editor. Ramdani, Mohamed. editor. Sicard, Etienne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137864">http://dx.doi.org/10.1007/b137864</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systemverilog for Verification A Guide to Learning the Testbench Language Features
ent://SD_ILS/0/SD_ILS:165314
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Spear, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138536">http://dx.doi.org/10.1007/b138536</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thermal and Power Management of Integrated Circuits
ent://SD_ILS/0/SD_ILS:165670
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-29749-9">http://dx.doi.org/10.1007/0-387-29749-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ent://SD_ILS/0/SD_ILS:169386
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5139-5">http://dx.doi.org/10.1007/978-1-4020-5139-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification Methodology Manual for SystemVerilog
ent://SD_ILS/0/SD_ILS:165150
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Bergeron, Janick. author. Cerny, Eduard. author. Hunter, Alan. author. Nightingale, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135575">http://dx.doi.org/10.1007/b135575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Prototyping of Digital Systems
ent://SD_ILS/0/SD_ILS:165587
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28965-8">http://dx.doi.org/10.1007/0-387-28965-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interconnect Noise Optimization in Nanometer Technologies
ent://SD_ILS/0/SD_ILS:165637
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-29366-3">http://dx.doi.org/10.1007/0-387-29366-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Writing Testbenches using System Verilog
ent://SD_ILS/0/SD_ILS:165809
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Bergeron, Janick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31275-7">http://dx.doi.org/10.1007/0-387-31275-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint-Based Verification
ent://SD_ILS/0/SD_ILS:165761
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30784-2">http://dx.doi.org/10.1007/0-387-30784-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Introduction to PSL
ent://SD_ILS/0/SD_ILS:166138
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36123-9">http://dx.doi.org/10.1007/978-0-387-36123-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Roadmap for Formal Property Verification
ent://SD_ILS/0/SD_ILS:169271
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author DasGupta, Pallab. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ent://SD_ILS/0/SD_ILS:169289
2024-08-27T20:16:10Z
2024-08-27T20:16:10Z
Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>