Utilising dynamic logic for low power consumption in asynchronous circuits.
Craig FarnsworthDavid A. EdwardsShiv S. SikandPublished in: ASYNC (1994)
Keyphrases
- asynchronous circuits
- dynamic logic
- low power consumption
- low cost
- low power
- power consumption
- real time
- application specific
- modal logic
- reasoning about actions
- delay insensitive
- model checking
- imperative programs
- single chip
- propositional dynamic logic
- storage devices
- high speed
- database
- security mechanisms
- field programmable gate array
- mobile devices
- modal operators
- processing capabilities
- image processing
- knowledge base
- machine learning
- first order logic