Formal verification of three-valued digital waveforms

DOI10.18255/1818-1015-332-350MaRDI QIDQ5866338zbMATH OpenFDO

Authors Nina Yur'Evna Kutsak, V. V. Podymov

Publication date 21 September 2022

Full work available at URL http://mathnet.ru/eng/mais683

zbMATH Keywords

digital signalformal verificationtemporal logicthree-valued logic

Mathematics Subject Classification ID

Signal theory (characterization, reconstruction, filtering, etc.) (94A12) Analytic circuit theory (94C05)

Recommendations

• A methodology for hardware verification based on logic simulation
• Automatic Verification of Sequential Circuits Using Temporal Logic
• Publication:4721964
• scientific article; zbMATH DE number 868112
• Consistency and satisfiability of waveform timing specifications

Cites work

• Algorithms for monitoring real-time properties
• scientific article; zbMATH DE number 4085569 (Why is no real title available?)
• scientific article; zbMATH DE number 177501 (Why is no real title available?)
• scientific article; zbMATH DE number 1330907 (Why is no real title available?)
• scientific article; zbMATH DE number 1150567 (Why is no real title available?)
• scientific article; zbMATH DE number 1744958 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)

This page was built for publication: Formal verification of three-valued digital waveforms

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