Pseudo dynamic logic (SDL): a high-speed and low-power dynamic logic family.
G. R. ChajiSeid Mehdi FakhraieKenneth Carless SmithPublished in: ISCAS (3) (2002)
Keyphrases
- dynamic logic
- low power
- high speed
- power consumption
- low cost
- modal logic
- imperative programs
- single chip
- vlsi architecture
- reasoning about actions
- high power
- wireless transmission
- low power consumption
- real time
- digital signal processing
- cmos technology
- propositional dynamic logic
- temporal logic
- first order logic
- power dissipation
- situation calculus
- frame rate
- nm technology