Circuit designers automate
- Publisher
- Elsevier Science
- Year
- 1979
- Tongue
- English
- Weight
- 381 KB
- Volume
- 11
- Category
- Article
- ISSN
- 0010-4485
No coin nor oath required. For personal study only.
β¦ Synopsis
Circuit designers automate
H R Piper have taken delivery of a Quest Automation Q-Draft 12 comprising two digitizers and VDUs, a Controller I based on the Nova 3D/ 64k computer, GNT punch and reader, a teletype and a 36 in pen plotter. A Controller II has also been bought for use on existing equipment. The order also includes Emma 2 photoplotter and a Quad software package.
π SIMILAR VOLUMES
## Abstract This paper aims at establishing the automated design for a circuit by the theoremβproving technique, by formulating the circuit design as a transformation from the specification description (recursion equation) to the circuit model FN (functional network based on dataflow operation). F