Principles of artificial intelligence
Principles of artificial intelligence
A Discipline of Programming
Statistical techniques of timing verification
DAC '83 Proceedings of the 20th Design Automation Conference
Timing verification system based on delay time hierarchical nature
DAC '82 Proceedings of the 19th Design Automation Conference
The MICON system for computer design
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Using critics to empower users
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The role of critiquing in cooperative problem solving
ACM Transactions on Information Systems (TOIS) - Special issue on computer—human interaction
Survey of expert critiquing systems: practical and theoretical frontiers
Communications of the ACM
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A Study of Strategies for Computerized Critiquing of Programmers
Empirical Software Engineering
The Micon System for Computer Design
IEEE Micro
A new concept of compatibility structure in new product development
Advanced Engineering Informatics
LEAP: a learning apprentice for VLSI design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Design as refinement plus constraint propagation: the VEXED experience
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Design as refinement plus constraint propagation: the VEXED experience
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A knowledge-based approach to design
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
| Hi-index | 0.02 |
CRITTER is an exploratory prototype design aid, built using Artificial Intelligence (“Expert Systems”) technology, to aid in “critiquing” digital circuit designs, encompassing issues of functional correctness, operating speed, timing robustness, and circuit sensitivity to changes in device parameters. Its non-procedural representation for both real-time circuit behavior and circuit specifications has led to a streamlined circuit modeling formalism based on ordinary mathematical function composition. In its interactions with the user it strives to be as concise as possible, concentrating only on findings it judges to be unexpected or unusual. After successful tests with circuits of up to a dozen TTL SSI/MSI packages, CRITTER is being extended for use in an automated VLSI design environment.