WireLisp: combining graphics and procedures in a circuit specification language.
Carl EbelingZhanbing WuPublished in: ICCAD (1989)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- symbolic execution
- electronic circuits
- analog circuits
- computer graphics
- requirements specification
- software environment
- circuit design
- high speed
- general purpose
- web services
- multimedia
- search strategy
- optimal solution
- artificial intelligence