Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.

Ghiath Al Sammane Mohamed H. Zaki Zhi Jie Dong Sofiène Tahar

Published in: FDL (2007)

Keyphrases

mixed signal
low power
multi channel
vlsi circuits
digital circuits
power consumption
cmos technology
low cost
high speed
model checking
low voltage
analog to digital converter
english text
image restoration
edge detection
image processing
real time