Subrat Kumar Panda

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Impact of noise on human hearing health in a noisy environment using simulated annealing algorithm.
Int. J. Syst. Assur. Eng. Manag., April, 2024

Evaluation and prediction of impact of noise on a worker in noisy environment by using ANFIS model.
Int. J. Syst. Assur. Eng. Manag., March, 2024

2010
A static verification approach for architectural integration of mixed-signal integrated circuits.
Integr., 2010

2009
Instrumenting AMS assertion verification on commercial platforms.
ACM Trans. Design Autom. Electr. Syst., 2009

A formal approach for specification-driven AMS behavioral model generation.
Proceedings of the Design, Automation and Test in Europe, 2009

2007
Simulation Based Verification using Temporally Attributed Boolean Logic.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

2006
SystemC Modeling and Validation of A RISC Processor System.
Proceedings of the Forum on specification and Design Languages, 2006

2005
A framework for systematic validation and debugging of pipeline simulators.
ACM Trans. Design Autom. Electr. Syst., 2005


  Loading...