Logic Simulation System Using Simulation Processor (SP).
Minoru SaitohKenji IwataAkiko NokamuraMakoto KakegawaJunichi MasudaHirofumi HamamuraFumiyasu HiroseNobuaki KawatoPublished in: DAC (1988)
Keyphrases
- simulation environment
- logic programming
- asynchronous circuits
- simulation models
- neural network
- chip design
- classical logic
- simulation model
- virtual reality
- high speed
- parallel processing
- numerical simulations
- computer architecture
- general purpose
- computational properties
- defeasible logic
- multi agent
- data sets
- functional verification