Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.
Paul S. MinerShyamsundar PullelaSteven D. JohnsonPublished in: SRDS (1994)
Keyphrases
- fault tolerant
- safety critical
- formal methods
- distributed systems
- high assurance
- fault tolerance
- knowledge based systems
- evolvable hardware
- design tools
- interactive systems
- support systems
- embedded systems
- design process
- design principles
- circuit design
- digital circuits
- complex systems
- interaction design
- high speed
- management system
- rapid prototyping
- case study
- artificial intelligence
- load balancing
- power dissipation
- expert systems
- state machine
- electronic circuits
- formal descriptions
- human computer interaction
- computer systems
- intelligent systems
- response time
- duty cycle