Browse by Subject

Related Papers

2007	Advanced firmware verification using a code simulator for the IBM System z9
2005	Blue Gene/L advanced diagnostics environment
2005	Functional formal verification on designs of pSeries microprocessors and communication subsystems
2005	Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems
2005	Using microcode in the functional verification of an I/O chip
2004	Accelerating system integration by enhancing hardware, firmware, and co-simulation
2004	Functional verification of the z990 superscalar, multibook microprocessor complex
1999	PLL modeling and verification in a cycle-simulation environment
1998	Projection display throughput: Efficiency of optical transmission and light-source collection
1997	Designer-level verification using TIMEDIAG/GENRAND
1997	Formal verification made easy
1997	Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system
1997	NStrace: A bus-driven instruction trace tool for PowerPC microprocessors
1997	The role of two-cycle simulation in the S/390 verification process
1996	Architectural verification of advanced storage controllers
1996	Circuit placement, chip optimization, and wire routing for IBM IC technology
1996	Design methodology for IBM ASIC products
1996	Design planning for high-performance ASICs
1996	IC technology and ASIC design for the Cray J90 supercomputer
1996	PowerPC AS A10 64-bit RISC microprocessor
1996	Test methodologies and design automation for IBM ASICs
1995	Architectural timing verification of CMOS RISC processors
1995	Verity—A formal verification program for custom CMOS circuits
1982	A Bipolar VLSI Custom Macro Physical Design Verification Strategy
1982	A VLSI Design Verification Strategy
1982	Design Verification System for Large-Scale LSI Designs