Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Functional test generation using binary decision diagrams

From MaRDI portal
Publication:1101072
Jump to:navigation, search

DOI10.1016/0898-1221(87)90072-1zbMATH Open0641.94035OpenAlexW1980014718MaRDI QIDQ1101072FDOQ1101072


Authors: H. K. Reghbati, Magdy S. Abadir Edit this on Wikidata


Publication date: 1987

Published in: Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(87)90072-1





zbMATH Keywords

fault detectionbinary decision diagramsintegrated circuitsextension to the D-algorithmLSI/VLSI circuitnetwork of interconnected modules


Mathematics Subject Classification ID


Cites Work

  • Binary Decision Diagrams
  • Title not available (Why is that?)
  • Test Generation for Microprocessors
  • Title not available (Why is that?)
  • Functional Level Primitives in Test Generation
  • LSI logic testing — An overview
  • A Module-Level Testing Approach for Combinational Networks


Cited In (1)

  • On the size of binary decision diagrams representing Boolean functions





This page was built for publication: Functional test generation using binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101072)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1101072&oldid=13136741"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 01:39. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki