A Determinate Radiation Hardened Technique for Safety-Critical CMOS Designs.
Ryan H.-M. HuangDennis K.-H. HsuCharles H.-P. WenPublished in: J. Electron. Test. (2015)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- low cost
- agent architecture
- nuclear power plant
- nm technology
- support systems
- x ray
- regulatory requirements
- infrared
- power consumption
- adaptive systems
- silicon on insulator
- power supply
- load balancing
- cooperative
- multi agent
- artificial intelligence