Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.

C. Marquez, E. Tobar, M. Strum, and J. Wang. J. Electron. Test., 27 (4): 485-503 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kurt Strum

Lotar Strümpel

Fritz Strumpf

Martin Strümpel

Martin Strumpf

Other publications of authors with the same name

Exploring Concurrency in Data Path Functional Units BIST Plan Optimization: A Study-Case.J. de A. Amazonas, M. Strum, and W. Chau. SBCCI, page 244-248. IEEE Computer Society, (1998)Hybrid-on-chip communication architecture for dynamic MP-SoC protection.J. Sepúlveda, G. Gogniat, R. Pires, J. Wang, and M. Strum. SBCCI, page 1-6. IEEE, (2012)A PD-based methodology to enhance efficiency in testbenches with random stimulation.C. Marquez, M. Strum, and J. Wang. SBCCI, ACM, (2009)The Multiple Pairs SMO: A modified SMO algorithm for the acceleration of the SVM training.R. Hernandez, M. Strum, J. Wang, and J. González. IJCNN, page 1221-1228. IEEE Computer Society, (2009)TSV protection: Towards secure 3D-MPSoC.M. Sepúlveda, G. Gogniat, D. Florez, J. Diguet, R. Pires, and M. Strum. LASCAS, page 1-4. IEEE, (2015)Security-enhanced 3D communication structure for dynamic 3D-MPSoCs protection.J. Sepúlveda, G. Gogniat, R. Pires, J. Wang, and M. Strum. SBCCI, page 1-6. IEEE, (2013)On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs.I. Jeukens, and M. Strum. SBCCI, page 159-164. IEEE Computer Society, (2000)Functional verification of complete sequential behaviors: A formal treatment of discrepancies between system-level and RTL descriptions.C. Marquez, M. Strum, and J. Wang. IDT, page 1-6. IEEE, (2013)Formally verifying an RTOS scheduling monitor IP core in embedded systems.C. Marquez, M. Strum, W. Chau, and F. Vargas. LATW, page 1-6. IEEE, (2011)BIST Plan Optimization and Independent Input Test Register Insertion for Datapath Functional Units.W. Chau, J. González, M. Strum, and R. Pires. LATW, page 64-69. IEEE, (2002)

BibSonomy

Disambiguation of "Strum, Marius"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.

Please choose a person to relate this publication to

Kurt Strum

Lotar Strümpel

Fritz Strumpf

Martin Strümpel

Martin Strumpf

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Strum, Marius"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.

Please choose a person to relate this publication to

Kurt Strum

Lotar Strümpel

Fritz Strumpf

Martin Strümpel

Martin Strumpf

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.