Formal Verification of Sequential Circuits in Superconducting Single Flux Quantum Technologies
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 01, 2023
- Source ID
- 10.1109/tasc.2023.3265619
Entities
People
- Arash Fayyazi
- Massoud Pedram
- Mustafa Munir
- Shahin Nazarian
- Sumukh Athrey
Organizations
- Army Research Office
- Intelligence Advanced Research Projects Activity
- National Science Foundation
- Office of the Director of National Intelligence
- University of Southern California