• English
    • Türkçe
  • English 
    • English
    • Türkçe
  • Login
View Item 
  •   DSpace Home
  • 3. Mühendislik Fakültesi / Faculty of Engineering
  • Computer Engineering / Bilgisayar Mühendisliği
  • View Item
  •   DSpace Home
  • 3. Mühendislik Fakültesi / Faculty of Engineering
  • Computer Engineering / Bilgisayar Mühendisliği
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Realtime Access Map

Model checker-based delay fault testing of sequential circuits

Thumbnail
View/Open
Conference Paper (360.0Kb)
Date
2015-05
Author
Takan, Savaş
Güler, Berkin
Ayav, Tolga
Metadata
Show full item record
Abstract
This paper applies model checker-based testing, a well-known method from software engineering, to the delay fault testing of synchronous sequential logic circuits. We first model the circuit as timed automata to reveal its timing characteristics. The model is repeatedly mutated by injecting the delay faults under a certain fault assumption and all the mutant models are checked against the given properties by exploiting a model checker. Counterexamples returned from the model checker form the basis of test input sequences. Finally, the test suite minimization is defined as an integer programming problem.
URI
http://hdl.handle.net/11147/2549
Collections
  • Computer Engineering / Bilgisayar Mühendisliği [191]


DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 



| IZTECH OS Policy |
DSpace@IYTE Guide |

DSpace@IZTECH

by OpenAIRE
Advanced Search

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeDepartmentPublisherCategoryLanguageAccess TypeIZTECH AuthorThis CollectionBy Issue DateAuthorsTitlesSubjectsTypeDepartmentPublisherCategoryLanguageAccess TypeIZTECH Author

My Account

LoginRegister

Statistics

View Usage Statistics

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Theme by 
@mire NV
 

 


|| IZTECH OS Policy || DSpace@IYTE Guide || Library || IYTE || OAI-PMH ||

IZTECH Library, Gülbahçe Kampüsü - 35430 - Urla, İzmir / TURKEY
If you find any errors in content, please contact: openaccess@iyte.edu.tr.

Creative Commons Lisansı
DSpace@IZTECH by IYTE Institutional repository is licensed under a Creative Commons Attribution-Gayriticari-NoDerivs 3.0 Unported License.

DSpace@IZTECH is member of: