Power Integrity Specification Definition for an Integrated Clock Circuit Design.

Fern Nee Tan Mohamad Shahrir Tamrin Jia Yun Chuah

Published in: ISOCC (2021)

Keyphrases

circuit design
power consumption
duty cycle
specification language
design automation
digital circuits
low power
real time
power reduction
operational semantics
energy efficiency
user defined
high speed
conceptual model
formal specification
power dissipation
provably correct
information systems
database