Qubit Test Synthesis Processor for SoC Logic

2019 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2019.8884476 ◽

2019 ◽

Author(s):

Wajeb Gharibi ◽

David Devadze ◽

Vladimir Hahanov ◽

Eugenia Litvinova ◽

Ivan Hahanov

Keyword(s):

Download Full-text

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

2020 59th IEEE Conference on Decision and Control (CDC) ◽

10.1109/cdc42340.2020.9303776 ◽

2020 ◽

Author(s):

Prithvi Akella ◽

Mohamadreza Ahmadi ◽

Richard M. Murray ◽

Aaron D. Ames

Keyword(s):

Autonomous Systems ◽

Barrier Functions ◽

Safety Critical ◽

Test Synthesis ◽

Download Full-text

Antimicrobial activity of graphite oxide doped with silver against Bacillus subtilis, Candida albicans, Escherichia coli, and Staphylococcus aureus by agar well diffusion test: Synthesis and characterization

Materials Science and Engineering C ◽

10.1016/j.msec.2021.111934 ◽

2021 ◽

Vol 123 ◽

pp. 111934

Author(s):

G. Chavez-Esquivel ◽

H. Cervantes-Cuevas ◽

L.F. Ybieta-Olvera ◽

M.T. Castañeda Briones ◽

Dwight Acosta ◽

...

Keyword(s):

Escherichia Coli ◽

Staphylococcus Aureus ◽

Antimicrobial Activity ◽

Bacillus Subtilis ◽

Candida Albicans ◽

Graphite Oxide ◽

Synthesis And Characterization ◽

Diffusion Test ◽

Test Synthesis ◽

And Staphylococcus Aureus

Download Full-text

Design methodology and practice of VLSI functional test synthesis

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. ◽

10.1109/iti.2001.938056 ◽

2001 ◽

Author(s):

J. Hudec

Keyword(s):

Design Methodology ◽

Functional Test ◽

Download Full-text

Special issue on test synthesis

Journal of Electronic Testing ◽

10.1007/bf00993092 ◽

1995 ◽

Vol 6 (2) ◽

pp. 259-259

Keyword(s):

Special Issue ◽

Download Full-text

Test synthesis for DC test and maximal diagnosis of switched-capacitor circuits

Proceedings. 15th IEEE VLSI Test Symposium (Cat. No.97TB100125) ◽

10.1109/vtest.1997.600284 ◽

2002 ◽

Author(s):

C. Dufaza ◽

H. IHS

Keyword(s):

Switched Capacitor ◽

Switched Capacitor Circuits ◽

Download Full-text

Channel-based behavioral test synthesis for improved module reachability

Proceedings of the conference on Design, automation and test in Europe - DATE '99 ◽

10.1145/307418.307506 ◽

1999 ◽

Author(s):

Yiorgos Makris ◽

Alex Orailoğlu

Keyword(s):

Behavioral Test ◽

Download Full-text

High-level test synthesis

Testing of Digital Systems ◽

10.1017/cbo9780511816321.016 ◽

2003 ◽

pp. 893-952

Keyword(s):

Test Synthesis ◽

Download Full-text

An approach to test synthesis from higher level

Integration ◽

10.1016/s0167-9260(98)00023-6 ◽

1998 ◽

Vol 26 (1-2) ◽

pp. 101-116 ◽

Author(s):

Michiko Inoue ◽

Hideo Fujiwara

Keyword(s):

Download Full-text

Test synthesis in the microprocessor product development cycle

Proceedings of the IEEE 1995 Custom Integrated Circuits Conference ◽

10.1109/cicc.1995.518266 ◽

2002 ◽

Author(s):

J.M. Acken ◽

D.D. Jani

Keyword(s):

Product Development ◽

Test Synthesis ◽

Development Cycle ◽

Product Development Cycle

Download Full-text

Test Synthesis from UML Models of Distributed Software

IEEE Transactions on Software Engineering ◽

10.1109/tse.2007.39 ◽

2007 ◽

Vol 33 (4) ◽

pp. 252-269 ◽

Author(s):

Simon Pickin ◽

Claude Jard ◽

Thierry Jeron ◽

Jean-Marc Jezequel ◽

Yves Le Traon

Keyword(s):

Distributed Software ◽

Test Synthesis ◽

Download Full-text