A university framework for correct by construction IC design.
Tadeusz GrabowieckiAdam PawlakWojciech SakowskiPublished in: Microprocess. Microprogramming (1988)
Keyphrases
- conceptual framework
- design principles
- computational framework
- simulation environment
- software architecture
- computing paradigm
- case study
- software suite
- optimal design
- building blocks
- computer aided
- design process
- design theory
- design patterns
- databases
- main contribution
- multiscale
- bayesian networks
- database systems
- computer vision
- social networks
- artificial intelligence
- information retrieval