Author :
van Berkel, C.H. ; Rem, Martin ; Saeijs, Ronald W J J
Author_Institution :
Philips Res. Lab., Eindhoven, Netherlands
Abstract :
VLSI design is viewed as a programming activity. VLSI programs are described in CP-0 (Communicating Process-level 0), essentially a subset of CSP. By means of a few simple examples the authors introduce the CP-0 program notation and discuss its compatibility with VLSI. With larger examples (block sorters and FIR filters) they demonstrate how CP-0 programs can be derived from formal specifications and how to comply with performance-related requirements
Keywords :
VLSI; circuit layout CAD; programming; CP-0; Communicating Process; FIR filters; VLSI programming; block sorters; formal specifications; level 0; performance-related requirements;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1988. ICCD '88., Proceedings of the 1988 IEEE International Conference on
Conference_Location :
Rye Brook, NY
Print_ISBN :
0-8186-0872-2
DOI :
10.1109/ICCD.1988.25681
