Muhammad A Hummaigani's research while affiliated with King Fahd University of Petroleum and Minerals and other places

Publications (2)

Conference Paper
Full-text available
In this tutorial paper the area of formal verification of DSP VLSI architectures is presented. The paper discuses the following topics: production systems, formal logic, the equational approach, and the signal flow graph approach. Each approach is explained using one or more of the currently available systems
Data
In this tutorial paper the area of formal verification of DSP VLSI architectures is presented. The paper discuses the following topics: production systems, formal logic, the equational approach, and the signal flow graph approach. Each approache is explained using one or more of the current available systems.