A Specification of the intel 8085 Microprocessor: A Case Study.
Alfons GeserPublished in: Algebraic Methods (1987)
Keyphrases
- formal specification
- case study
- design methodology
- formal methods
- high speed
- data sets
- test bed
- databases
- artificial intelligence
- specification language
- circuit design
- formal verification
- functional verification
- data structure
- model checking
- information systems
- real time
- multi core processors
- instruction set
- provably correct