Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Operational amplifiers. --- Linear integrated circuits. --- Operational amplifiers --- Linear integrated circuits --- Amplificateurs opérationnels --- Circuits intégrés linéaires --- Amplificateurs opérationnels. --- Circuits intégrés linéaires. --- Amplificateurs opérationnels. --- Circuits intégrés linéaires.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A complete guide to current knowledge and future trends in ULSI devices Ultra-Large-Scale Integration (ULSI), the next generation of semiconductor devices, has become a hot topic of investigation. ULSI Devices provides electrical and electronic engineers, applied physicists, and anyone involved in IC design and process development with a much-needed overview of key technology trends in this area. Edited by two of the foremost authorities on semiconductor device physics, with contributions by some of the best-known researchers in the field, this comprehensive reference examines such major ULSI devices as MOSFET, nonvolatile semiconductor memory (NVSM), and the bipolar transistor, and the improvements these devices offer in power consumption, low-voltage and high-speed operation, and system-on-chip for ULSI applications. Supplemented with introductory material and references for each chapter as well as more than 400 illustrations, coverage includes:* The physics and operational characteristics of the different components* The evolution of device structures the ultimate limitations on device and circuit performance* Device miniaturization and simulation* Issues of reliability and the hot carrier effect* Digital and analog circuit building blocks

Integrated circuits --- Semiconductors --- Crystalline semiconductors --- Semi-conductors --- Semiconducting materials --- Semiconductor devices --- Crystals --- Electrical engineering --- Electronics --- Solid state electronics --- ULSI circuits --- Ultra large scale integration of circuits --- Ultra large scale integration. --- Materials --- Semiconductors. --- Circuits intégrés à ultra-grande échelle --- Semiconducteurs --- Ultra large scale integration --- Circuits intégrés à ultra-grande échelle. --- Semiconducteurs. --- Circuits intégrés à ultra-grande échelle.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital communications --- Chaotic behavior in systems --- Integrated circuits --- Telecommunication systems --- Chaos --- Circuits intégrés --- Systèmes de télécommunications --- Mathematics --- Design and construction --- Conception et construction --- Circuits intégrés --- Systèmes de télécommunications --- Telecommunication systems. --- Chaotics behavior in sysyems --- Digital communications-mathematics --- Integrated circuits-design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

CHAPTER 6 Architecting Testbenches 221 Reusable Verification Components 221 Procedural Interface 225 Development Process 226 Verilog Implementation 227 Packaging Bus-Functional Models 228 Utility Packages 231 VHDL Implementation 237 Packaging Bus-Functional Procedures 238 240 Creating a Test Harness 243 Abstracting the Client/Server Protocol Managing Control Signals 246 Multiple Server Instances 247 Utility Packages 249 Autonomous Generation and Monitoring 250 Autonomous Stimulus 250 Random Stimulus 253 Injecting Errors 255 Autonomous Monitoring 255 258 Autonomous Error Detection Input and Output Paths 258 Programmable Testbenches 259 Configuration Files 260 Concurrent Simulations 261 Compile-Time Configuration 262 Verifying Configurable Designs 263 Configurable Testbenches 265 Top Level Generics and Parameters 266 Summary 268 CHAPTER 7 Simulation Management 269 Behavioral Models 269 Behavioral versus Synthesizable Models 270 Example of Behavioral Modeling 271 Characteristics of a Behavioral Model 273 x Writing Testbenches: Functional Verification of HDL Models Modeling Reset 276 Writing Good Behavioral Models 281 Behavioral Models Are Faster 285 The Cost of Behavioral Models 286 The Benefits of Behavioral Models 286 Demonstrating Equivalence 289 Pass or Fail? 289 Managing Simulations 292 294 Configuration Management Verilog Configuration Management 295 VHDL Configuration Management 301 SDF Back-Annotation 305 Output File Management 309 Regression 312 Running Regressions 313 Regression Management 314 Summary 316 APPENDIX A Coding Guidelines 317 Directory Structure 318 VHDL Specific 320 Verilog Specific 320 General Coding Guidelines 321 Comments 321 Layout 323 Syntax 326 Debugging 329 Naming Guidelines 329 Capitalization 330 Identifiers 332 Constants 334 334 HDL Specific Filenames 336 HDL Coding Guidelines 336 337 Structure 337 Layout.

Integrated circuits --- Computer hardware description languages. --- Langages de description de matériel informatique --- Circuits intégrés --- Verification. --- Vérification --- Computer aided design. --- Computer engineering. --- Computer hardware. --- Engineering. --- Integrated circuits - Verification. --- Systems engineering. --- Computer hardware description languages --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Verification --- Circuits and Systems. --- Computer Hardware. --- Electrical Engineering. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Electronic circuits. --- Electrical engineering. --- Computer-aided engineering. --- CAE --- Engineering --- Electric engineering --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Data processing --- Hardware verification --- Integrated circuit verification --- Verification of hardware --- Verification of integrated circuits --- Hardware description languages, Computer --- Languages, Computer hardware description --- Electronic digital computers --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software verification. The conference covers the spectrum from theoretical foundations to concrete applications, with an emphasis on verification algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioners in academia and industry. This year 91 regular research papers were submitted out of which 35 were accepted, while 14 brief tool papers were submitted, out of which 9 were accepted for presentation. CAV included two invited talks and a panel discussion. CAV also included a tutorial day with two invited tutorials. Many industrial companies have shown a serious interest in CAV, ranging from using the presented technologies in their business to developing and marketing their own formal verification tools. We are very proud of the support we receive from industry. CAV 2000 was sponsored by a number of generous andforward-lookingcompaniesandorganizationsincluding:CadenceDesign- stems, IBM Research, Intel, Lucent Technologies, Mentor Graphics, the Minerva Center for Verification of Reactive Systems, Siemens, and Synopsys. The CAV conference was founded by its Steering Committee: Edmund Clarke (CMU), Bob Kurshan (Bell Labs), Amir Pnueli (Weizmann), and Joseph Sifakis (Verimag).

Computer software --- Integrated circuits --- Logiciels --- Circuits intégrés --- Verification --- Congresses. --- Vérification --- Congrès --- Computer science. --- Special purpose computers. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Artificial Intelligence (incl. Robotics). --- Logic design. --- Circuits intégrés --- Vérification --- Congrès --- Design, Logic --- Design of logic systems --- Computer software engineering --- Informatics --- Engineering --- Science --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Special purpose computers --- Computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software - Verification - Congresses --- Integrated circuits - Verification - Congresses --- Logic, Symbolic and mathematical. --- Computers, Special purpose.