• Publications
  • Influence
Formal verification of analog and mixed signal designs: A survey
Analog and mixed signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Expand
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design
Finite state machines (FSMs) are the backbone of sequential circuit design. Expand
Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries
This paper presents an adaptive state of charge (SOC) and state of health (SOH) estimation technique for lithium-ion batteries. Expand
Formalization of Entropy Measures in HOL
This paper presents a rigorous higher-order logic formalization of some of the most widely used information theoretic principles. Expand
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
We propose an approach to verify PSL properties for a class of AMS systems using the symbolic trace of SRE. Expand
A bug reproduction approach based on directed model checking and crash traces
We propose a novel crash reproduction approach that combines directed model checking and backward slicing to identify the program statements needed to reproduce a crash. Expand
Design and synthesis of an IEEE-754 exponential function
  • H. Bui, S. Tahar
  • Computer Science
  • Engineering Solutions for the Next Millennium…
  • 9 May 1999
We have designed a floating-point exponential function using the table-driven method. Expand
Hierarchical Verification Using an MDG-HOL Hybrid Tool
We describe a hybrid formal hardware verification tool that links an interactive theorem prover and an automated decision diagram-based hardware veri cation. Expand
A Survey on IP Watermarking Techniques
In this paper, we survey and classify different techniques used for watermarking IP designs. Expand
On the Formalization of the Lebesgue Integration Theory in HOL
We present a formalization of the Borel sigma algebra that can be used on any metric space, such as the complex numbers or the n-dimensional Euclidean space. Expand