Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components

2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) ◽

10.1109/vlsid.2018.34 ◽

2018 ◽

Author(s):

Sudipa Mandal ◽

Aritra Hazra ◽

Pallab Dasgupta ◽

Rama Mohan Chunduri

Keyword(s):

Formal Methods ◽

Power Management ◽

Mixed Signal ◽

Coverage Analysis

Download Full-text

Formal methods for coverage analysis of architectural power states in power-managed designs

17th Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2012.6165024 ◽

2012 ◽

Cited By ~ 2

Author(s):

Aritra Hazra ◽

Pallab Dasgupta ◽

Ansuman Banerjee ◽

Kevin Harer

Keyword(s):

Formal Methods ◽

Coverage Analysis

Download Full-text

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management

IEEE Transactions on Very Large Scale Integration (VLSI) Systems ◽

10.1109/tvlsi.2020.3002481 ◽

2020 ◽

Vol 28 (8) ◽

pp. 1745-1756

Author(s):

Sudipa Mandal ◽

Pallab Dasgupta ◽

Aritra Hazra ◽

Chunduri Rama Mohan

Keyword(s):

Power Management ◽

Mixed Signal

Download Full-text

On-chip low-power circuit techniques for power management regulators in mixed-signal integrated circuits

10.14711/thesis-b1180241 ◽

2012 ◽

Author(s):

Ngai Yeung Ho

Keyword(s):

Integrated Circuits ◽

Low Power ◽

Power Management ◽

Power Circuit ◽

Mixed Signal ◽

Circuit Techniques ◽

On Chip

Download Full-text

Formal methods for Dynamic Power Management

ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) ◽

10.1109/iccad.2003.159778 ◽

2003 ◽

Cited By ~ 11

Author(s):

R.K. Gupta ◽

S. Irani ◽

S.K. Shukla

Keyword(s):

Formal Methods ◽

Power Management ◽

Dynamic Power Management ◽

Dynamic Power

Download Full-text

Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems

Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 ◽

10.1145/3061639.3072945 ◽

2017 ◽

Author(s):

Vladimir Dubikhin ◽

Chris Myers ◽

Danil Sokolov ◽

Ioannis Syranidis ◽

Alex Yakovlev

Keyword(s):

Formal Methods ◽

Mixed Signal ◽

Signal Systems

Download Full-text

Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.3850/9783981537079_1010 ◽

2016 ◽

Cited By ~ 2

Author(s):

Erich Barke ◽

Andreas Fürtig ◽

Georg Gläser ◽

Christoph Grimm ◽

Lars Hedrich ◽

...

Keyword(s):

Mixed Signal ◽

Verification Methods ◽

Coverage Analysis

Download Full-text

A Programmable Mixed Signal ASIC For Power Management

Proceedings of the IEEE Custom Integrated Circuits Conference ◽

10.1109/cicc.1992.591334 ◽

2005 ◽

Cited By ~ 1

Author(s):

D. McGrath ◽

P. Jacob ◽

H. Sailer

Keyword(s):

Power Management ◽

Mixed Signal

Download Full-text

Digital Systems Power Management for High Performance Mixed Signal Platforms

IEEE Transactions on Circuits and Systems I Regular Papers ◽

10.1109/tcsi.2014.2304662 ◽

2014 ◽

Vol 61 (4) ◽

pp. 961-975 ◽

Cited By ~ 13

Author(s):

Ajay Kapoor ◽

Cas Groot ◽

Gerard Villar Pique ◽

Hamed Fatemi ◽

Juan Echeverri ◽

...

Keyword(s):

Power Management ◽

High Performance ◽

Digital Systems ◽

Mixed Signal

Download Full-text

HFMV: Hybridizing Formal Methods and Machine Learning for Verification of Analog and Mixed-Signal Circuits

2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) ◽

10.1109/dac.2018.8465826 ◽

2018 ◽

Author(s):

Hanbin Hu ◽

Qingran Zheng ◽

Ya Wang ◽

Peng Li

Keyword(s):

Machine Learning ◽

Formal Methods ◽

Mixed Signal ◽

Mixed Signal Circuits

Download Full-text

Circuit and DFT techniques for robust and low cost qualification of a mixed-signal SoC with integrated power management system

2011 Design, Automation & Test in Europe ◽

10.1109/date.2011.5763281 ◽

2011 ◽

Cited By ~ 2

Author(s):

L Balasubramanian ◽

P Sabbarwal ◽

R K Mittal ◽

P Narayanan ◽

R K Dash ◽

...

Keyword(s):

Power Management ◽

Management System ◽

Low Cost ◽

Mixed Signal ◽

Power Management System

Download Full-text