Verification and Management of a Multimillion-Gate Embedded Core Design.
Johann NotbauerThomas W. AlbrechtGeorg NiedristStefan RohringerPublished in: DAC (1999)
Keyphrases
- management system
- embedded systems
- case study
- database
- formal verification
- data processing
- decision support
- knowledge based systems
- design process
- engineering design
- project management
- building blocks
- high assurance
- signature verification
- current status
- information management
- information systems
- neural network
- data sets
- real time