From Electron Mobility to Logical Structure: A View of Integrated Circuits
ACM Computing Surveys (CSUR)
Design of a LISP-based microprocessor
Communications of the ACM
Art of Software Testing
Introduction to VLSI Systems
A processor for a high-performance personal computer
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
On proving the correctness of optimizing transformations in a digital design automation system
DAC '81 Proceedings of the 18th Design Automation Conference
LSI product quality and fault coverage
DAC '81 Proceedings of the 18th Design Automation Conference
SALOGS-IV-A program to perform logic simulation and fault diagnosis
DAC '78 Proceedings of the 15th Design Automation Conference
Microprogrammed implementation of a single chip microprocessor
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Verification of timing constraints on large digital systems
DAC '80 Proceedings of the 17th Design Automation Conference
A logic design structure for LSI testability
DAC '77 Proceedings of the 14th Design Automation Conference
The CMU design automation system: An example of automated data path design
DAC '79 Proceedings of the 16th Design Automation Conference
TMEAS, a testability measurement program
DAC '79 Proceedings of the 16th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
Meta-programming: a software production method.
Meta-programming: a software production method.
A retrospective on the Dorado, a high-performance personal computer
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
| Hi-index | 0.00 |