An approach to computer-aided specification
- 1 April 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Journal of Solid-State Circuits
- Vol. 25 (2) , 335-345
- https://doi.org/10.1109/4.52154
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The input/output specifications analyzer for IC designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- An approach to understanding evaluation of simulation results as an integrated taskPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- An approach to intelligent assistance for the specification of ASIC design using objects and rulesPublished by Association for Computing Machinery (ACM) ,1989
- The object-oriented integration methodology of the Cadlab work station design environmentPublished by Association for Computing Machinery (ACM) ,1989
- A distributed Prolog system with AND parallelismIEEE Software, 1988
- An object-oriented approach to data management: why design databases need itPublished by Association for Computing Machinery (ACM) ,1987
- A version server for computer-aided design dataPublished by Association for Computing Machinery (ACM) ,1986
- Semantics of CAD objects for generalized databasesPublished by Association for Computing Machinery (ACM) ,1986
- A Frame Based System for Representing Knowledge About VLSI Design: A ProposalPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A model of design representation and synthesisPublished by Association for Computing Machinery (ACM) ,1985