Search
Now showing items 1-2 of 2
ARLO: Another Representation Language Offer
(1986-10-01)
This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including ...
Test Generation Guided Design for Testability
(1988-07-01)
This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct ...