Flexible Specification, Analysis, and Implementation of Self-Timed Circuits
Abstract
The objective of this 14-month effort is to find a rigorous approach for producing low-power circuits in multiple technologies with timing flexibility in multiple technologies from rigorous specifications of sufficient mathematical precision to permit formal verification that a particular implementation exactly meets the specification. If successful this study will permit formal specification and reimplementation of complex Department of Defense (DoD) systems. What these mathematically-precise specifications will do is to greatly simplify upgrading existing DoD systems to new technologies by making possible formal verification of a new implementation.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Feb 22, 2017
- Source ID
- FA86501717704
Entities
People
- Warren Hunt
Organizations
- Air Force Research Laboratory
- Defense Advanced Research Projects Agency
- University of Texas at Austin