A software test program generator for verifying system-on-chips (original) (raw)
Related papers
Multi-Step Verification Environment for a Chip Design using SoC platform.
International Journal of Engineering Sciences & Research Technology, 2014
A Unique Test Bench for Various System-on-a-Chip
International Journal of Electrical and Computer Engineering (IJECE)
International Journal of Electrical and Computer Engineering (IJECE), 2017
Verification of Software-hardware Hybrid Systems
2010
A methodology for processor implementation verification
Lecture Notes in Computer Science, 1996
Functional verification of system on chips-practices, issues and challenges
2002
Application Verification Architecture for Communication SoCs
D. Reisis, Fotis Karoubalis, Gregory Doumenis
2007
Software-Based Test Integration in a SoC Design Flow
2003
Tutorial One Functional Verification of System on Chips - Practices, Issues and Challenges
2002
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
Utilizing multicore architectures to enhance software verification in real-time embedded systems
2013
An automatic testbench generation tool for a systemc functional verification methodology
Proceedings of the 17th …, 2004
Cross-fertilization between hardware verification and software testing
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract)
Supratik Chakraborty, Ramesh S.
VLSI Design, 2002
Practical verification of embedded software
Computer, 2000
The development of a hardware abstraction layer generator for system-on-chip functional verification
2010 VI Southern Programmable Logic Conference (SPL), 2010
Automated Functional Verification of Application Specific Instruction-set Processors
IFIP Advances in Information and Communication Technology, 2013
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques
Cross-platform verification framework for embedded systems
Software Technologies for …, 2007
Scheduling-based test-case generation for verification of multimedia SoCs
2006
A methodology for the verification of a “system on chip”
Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99, 1999
Journal of Systems Architecture, 2019
Model Based Test Generation for Microprocessor Architecture Validation
2007
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999
Guest Editors' Introduction: The Verification and Test of Complex Digital ICs
Verification of a microprocessor using real world applications
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 1999
Automatic test case generation for critical embedded systems
Creating a Formal Verification Platform for IBM CoreConnect-based SoC
2003
Embedded software-based self-test for programmable core-based designs
IEEE Design & Test of Computers, 2002