Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487931 ◽

2005 ◽

Author(s):

I. Ugarte ◽

P. Sanchez

Keyword(s):

Polynomial Model ◽

Functional Verification ◽

Branch Coverage ◽

Model Based

Download Full-text

Generator Polynomial Model-Based Eye Diagram Estimation Method for Bose-Chaudhuri-Hocquenghem (BCH) Code and Reed-Solomon (RS) Code

IEEE Transactions on Electromagnetic Compatibility ◽

10.1109/temc.2018.2881146 ◽

2020 ◽

Vol 62 (1) ◽

pp. 240-248 ◽

Cited By ~ 1

Author(s):

Junyong Park ◽

Joungho Kim

Keyword(s):

Estimation Method ◽

Polynomial Model ◽

Bch Code ◽

Eye Diagram ◽

Generator Polynomial ◽

Model Based ◽

Rs Code

Download Full-text

Low Complexity Polynomial-Model-Based Channel Estimation for MIMO-OFDM Systems

2007 2nd IEEE Conference on Industrial Electronics and Applications ◽

10.1109/iciea.2007.4318832 ◽

2007 ◽

Author(s):

Wenjun Huo ◽

Zhigang Wang ◽

Shentang Li

Keyword(s):

Channel Estimation ◽

Low Complexity ◽

Polynomial Model ◽

Ofdm Systems ◽

Model Based ◽

Mimo Ofdm

Download Full-text

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

Constraint Databases - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25954-1_5 ◽

2004 ◽

pp. 74-87 ◽

Cited By ~ 4

Author(s):

Maria Teresa Gómez López ◽

Rafael Ceballos Guerrero ◽

Rafael Martínez Gasca ◽

Carmelo del Valle Sevilla

Keyword(s):

Polynomial Model ◽

Constraint Databases ◽

Model Based

Download Full-text

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319971 ◽

2006 ◽

Cited By ~ 4

Author(s):

Allon Adir ◽

Laurent Fournier ◽

Yoav Katz ◽

Anatoly Koyfman

Keyword(s):

Functional Verification ◽

Model Based ◽

Address Translation

Download Full-text

DeepTrans - a model-based approach to functional verification of address translation mechanisms

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250255 ◽

2004 ◽

Cited By ~ 9

Author(s):

A. Adir ◽

R. Emek ◽

Y. Katz ◽

A. Koyfman

Keyword(s):

Functional Verification ◽

Model Based ◽

Address Translation

Download Full-text

Design of A Piecewise Polynomial Model Based Digital Predistortion for 60 GHz Power Amplifier

Journal of the Institute of Electronics and Information Engineers ◽

10.5573/ieie.2016.53.5.03 ◽

2016 ◽

Vol 53 (5) ◽

pp. 3-12

Author(s):

Minho Kim ◽

Jingu Lee ◽

Daehyun Kim ◽

Younglok Kim

Keyword(s):

Power Amplifier ◽

Polynomial Model ◽

Digital Predistortion ◽

60 Ghz ◽

Piecewise Polynomial ◽

Model Based

Download Full-text

Model Based Functional Verification; Strengthening the Link between Testing and Operations

SpaceOps 2016 Conference ◽

10.2514/6.2016-2440 ◽

2016 ◽

Author(s):

Simon Reid ◽

Arne Matthyssen ◽

Wolfgang Heinen

Keyword(s):

Functional Verification ◽

Model Based

Download Full-text

Gabor filter based optical image recognition using Fractional Power Polynomial model based common discriminant locality preserving projection with kernels

Optics and Lasers in Engineering ◽

10.1016/j.optlaseng.2012.03.007 ◽

2012 ◽

Vol 50 (9) ◽

pp. 1281-1286 ◽

Cited By ~ 8

Author(s):

Jun-Bao Li

Keyword(s):

Image Recognition ◽

Gabor Filter ◽

Fractional Power ◽

Optical Image ◽

Polynomial Model ◽

Locality Preserving Projection ◽

Model Based ◽

Locality Preserving

Download Full-text

Polynomial Model-Based Eye Diagram Estimation Methods for LFSR-Based Bit Streams in PRBS Test and Scrambling

IEEE Transactions on Electromagnetic Compatibility ◽

10.1109/temc.2019.2900055 ◽

2019 ◽

Vol 61 (6) ◽

pp. 1867-1875

Author(s):

Junyong Park ◽

Joungho Kim ◽

Shinyoung Park ◽

Youngwoo Kim ◽

Gapyeol Park ◽

...

Keyword(s):

Polynomial Model ◽

Estimation Methods ◽

Eye Diagram ◽

Model Based

Download Full-text

Improved Robustness in Time Series Analysis of Gene Expression Data by Polynomial Model Based Clustering

Computational Life Sciences II - Lecture Notes in Computer Science ◽

10.1007/11875741_1 ◽

2006 ◽

pp. 1-10

Author(s):

Michael Hirsch ◽

Allan Tucker ◽

Stephen Swift ◽

Nigel Martin ◽

Christine Orengo ◽

...

Keyword(s):

Gene Expression ◽

Time Series ◽

Time Series Analysis ◽

Gene Expression Data ◽

Polynomial Model ◽

Expression Data ◽

Model Based Clustering ◽

Series Analysis ◽

Model Based

Download Full-text