کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4956814 1444593 2017 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modeling and simulation of circuits with shared structurally synthesized BDDs
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
Modeling and simulation of circuits with shared structurally synthesized BDDs
چکیده انگلیسی

Modeling and simulation are critical tools for the analysis of testability and verification of digital circuits. BDDs are a well-known model for manipulating Boolean functions. However, the traditional BDDs mainly address modeling the function of the digital circuits, and not the structural aspects that are important for testability analysis. We propose a new type of BDD in the form of Shared Structurally Synthesized BDD (S3BDD) for representing the structure and simulating the faults in digital circuits. The paper presents a method for synthesis of S3BDDs, offers a formula for calculating the minimal size of the model, and proposes a method for parallel pattern simulation with S3BDDs We demonstrate a considerable increase in the speed-up of simulation of digital circuits using S3BDDs.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Microprocessors and Microsystems - Volume 48, February 2017, Pages 56-61
نویسندگان
, , , ,