2 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs
Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta +1
Exploring the limits of an Analog and Mixed Signal (AMS) circuit by driving appropriate inputs has been a serious challenge to the industry. Doing an exhaustive search of the entir…
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…
Recurrence in Dense-time AMS Assertions
Sayandeep Sanyal, Antonio Anastasio Bruto da Costa, Pallab Dasgupta
The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the…