Goal-oriented stimulus generation for analog circuits. - Seyed Nematollah Ahmadyan; Jayanand Asok Kumar; Shobha Vasudevan (DAC, 2012)

Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm. - Seyed Nematollah Ahmadyan; Jayanand Asok Kumar; Shobha Vasudevan (DATE, 2013)

Reachability analysis of nonlinear analog circuits through iterative reachable set reduction. - Seyed Nematollah Ahmadyan; Shobha Vasudevan (DATE, 2013)

Efficient Statistical Model Checking of Hardware Circuits With Multiple Failure Regions. - Jayanand Asok Kumar; Seyed Nematollah Ahmadyan; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Fast eye diagram analysis for high-speed CMOS circuits. - Seyed Nematollah Ahmadyan; Chenjie Gu; Suriyaprakash Natarajan; Eli Chiprout; Shobha Vasudevan (DATE, 2015)

Every test makes a difference: Compressing analog tests to decrease production costs. - Seyed Nematollah Ahmadyan; Suriyaprakash Natarajan; Shobha Vasudevan (ASP-DAC, 2016)

A random tree search algorithm for Nash equilibrium in capacitated selfish replication games. - Seyed Nematollah Ahmadyan; Seyed Rasoul Etesami; H. Vincent Poor (CDC, 2016)

Duplex: simultaneous parameter-performance exploration for optimizing analog circuits. - Seyed Nematollah Ahmadyan; Shobha Vasudevan (ICCAD, 2016)

Automated Transient Input Stimuli Generation for Analog Circuits. - Seyed Nematollah Adel Ahmadyan; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

A novel test compression algorithm for analog circuits to decrease production costs. - Seyed Nematollah Ahmadyan; Suriyaprakash Natarajan; Shobha Vasudevan (Integr., 2017)