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

2008
Simulation-based verification using Temporally Attributed Boolean Logic.
ACM Trans. Design Autom. Electr. Syst., 2008

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...