HIERARCHICAL TIMING VERIFICATION SYSTEM.

被引：0

作者：

Reddi, R. ^{[1
]}

Chen, C. ^{[1
]}

机构：

[1] Sperry Corp, Blue Bell, PA, USA, Sperry Corp, Blue Bell, PA, USA

来源：

| 1600年 / 18期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

INTEGRATED CIRCUITS, VLSI

引用

共 50 条

[41] Statistical verification of autonomous system controllers under timing uncertainties [J].

Bineet Ghosh ;

Clara Hobbs ;

Shengjie Xu ;

Don Smith ;

James H. Anderson ;

P. S. Thiagarajan ;

Benjamin Berg ;

Parasara Sridhar Duggirala ;

Samarjit Chakraborty .

Real-Time Systems, 2024, 60 :108-149

[42] Statistical verification of autonomous system controllers under timing uncertainties [J].

Ghosh, Bineet ;

Hobbs, Clara ;

Xu, Shengjie ;

Smith, Don ;

Anderson, James H. ;

Thiagarajan, P. S. ;

Berg, Benjamin ;

Duggirala, Parasara Sridhar ;

Chakraborty, Samarjit .

REAL-TIME SYSTEMS, 2024, 60 (01) :108-149

[43] Verification of Symbol Timing Synchronization for Wi-Fi System [J].

Kusunoki, Izumu ;

Nagano, Kotaro ;

Sutisna, Nana ;

Nagao, Yuhei ;

Lanante, Leonardo ;

Kurosaki, Masayuki ;

Ochi, Hiroshi .

ISCIT 2019: PROCEEDINGS OF 2019 19TH INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES (ISCIT), 2019, :167-172

[44] LOT SIZING RULES IN A HIERARCHICAL MULTI-STAGE INVENTORY SYSTEM. [J].

Biggs, Joseph R. ;

Goodman, Stephen H. ;

Hardy, Stanley T. .

Production and Inventory Management Journal, 1977, 18 (01) :104-115

[45] The Design and Verification of a Hierarchical Wideband Beamforming System for SKA MFAA [J].

Jiang, Lihui ;

Cao, Rui ;

Tao, Xiaohui ;

Li, Zhuang ;

Peng, Guoliang ;

Zhang, Yan .

PROCEEDINGS OF THE 2021 CROSS STRAIT RADIO SCIENCE AND WIRELESS TECHNOLOGY CONFERENCE (CSRSWTC), 2021, :21-23

[46] LOW COST HIERARCHICAL SYSTEM FOR VLSI LAYOUT AND VERIFICATION. [J].

Edmondson, Tom H. ;

Jennings, Richard M. .

Proceedings - Design Automation Conference, 1981, :505-510

[47] Hierarchical Verification Framework for Samsung Reconfigurable Processor Video System [J].

Kim, Hoyoung ;

Jeong, Seonghun ;

Kwon, Sunmin ;

Ryu, Soojung .

2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, :14-18

[48] HIERARCHICAL LAYOUT VERIFICATION [J].

WAGNER, TJ .

IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (01) :31-37

[49] Calibration verification of hemoglobins A, A2, S, and F with an automated chromatography system. [J].

Bradley, CA ;

Kelly, A .

CLINICAL CHEMISTRY, 2001, 47 (06) :A173-A173

[50] Specification and verification of constraints in role based access control for enterprise security system. [J].

Kolaczek, G .

TWELFTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2003, :190-195

← 1 2 3 4 5 →