Qualifying Relative Timing Constraints for Asynchronous Circuits.
Jotham Vaddaboina ManoranjanKenneth S. StevensPublished in: ASYNC (2016)
Keyphrases
- asynchronous circuits
- timing constraints
- real time databases
- real time systems
- embedded devices
- execution model
- delay insensitive
- real time
- active databases
- real time database systems
- concurrency control
- model checking
- resource constraints
- fine grained
- security requirements
- transaction processing
- information systems