Jayanand Asok Kumar

According to our database, Jayanand Asok Kumar authored at least 12 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

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

2013

Formal Probabilistic Timing Verification in RTL.

Jayanand Asok Kumar, Shobha Vasudevan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm.

Seyed Nematollah Ahmadyan, Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Statistical guarantees of performance for RTL designs

Jayanand Asok Kumar

PhD thesis, 2012

Formal Performance Analysis for Faulty MIMO Hardware.

Jayanand Asok Kumar, Shobha Vasudevan

IEEE Trans. Very Large Scale Integr. Syst., 2012

Early prediction of NBTI effects using RTL source code analysis.

Jayanand Asok Kumar, Kenneth M. Butler, Heesoo Kim, Shobha Vasudevan

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Goal-oriented stimulus generation for analog circuits.

Seyed Nematollah Ahmadyan, Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Verifying dynamic power management schemes using statistical model checking.

Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011

Variation-Conscious Formal Timing Verification in RTL.

Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the VLSI Design 2011: 24th International Conference on VLSI Design, 2011

Scaling probabilistic timing verification of hardware using abstractions in design source code.

Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs.

Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the QEST 2010, 2010

Statistical guarantees of performance for MIMO designs.

Jayanand Asok Kumar, Shobha Vasudevan

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010