Advanced UPF based voltage-aware verification for IOs.

Ronak Patel Amisha Naik Amit Singh Archana Arya Pulkit Bhatnagar

Published in: VDAT (2015)

Keyphrases

power system
model checking
face recognition
formal verification
search engine
formal methods
power supply
asynchronous circuits