• Publications
  • Influence
Formal verification of analog and mixed signal designs: A survey
TLDR
Analog and mixed signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Expand
  • 104
  • 4
  • PDF
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design
TLDR
Finite state machines (FSMs) are the backbone of sequential circuit design. Expand
  • 64
  • 4
  • PDF
Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries
TLDR
This paper presents an adaptive state of charge (SOC) and state of health (SOH) estimation technique for lithium-ion batteries. Expand
  • 103
  • 4
  • PDF
Formalization of Entropy Measures in HOL
TLDR
This paper presents a rigorous higher-order logic formalization of some of the most widely used information theoretic principles. Expand
  • 43
  • 4
  • PDF
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
TLDR
We propose an approach to verify PSL properties for a class of AMS systems using the symbolic trace of SRE. Expand
  • 38
  • 4
  • PDF
A bug reproduction approach based on directed model checking and crash traces
TLDR
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
  • 14
  • 4
  • PDF
Design and synthesis of an IEEE-754 exponential function
  • H. Bui, S. Tahar
  • Computer Science
  • Engineering Solutions for the Next Millennium…
  • 9 May 1999
TLDR
We have designed a floating-point exponential function using the table-driven method. Expand
  • 26
  • 4
  • PDF
Hierarchical Verification Using an MDG-HOL Hybrid Tool
TLDR
We describe a hybrid formal hardware verification tool that links an interactive theorem prover and an automated decision diagram-based hardware veri cation. Expand
  • 20
  • 4
  • PDF
On the Formalization of the Lebesgue Integration Theory in HOL
TLDR
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
  • 70
  • 3
  • PDF
A Survey on IP Watermarking Techniques
TLDR
In this paper, we survey and classify different techniques used for watermarking IP designs. Expand
  • 79
  • 3
  • PDF
...
1
2
3
4
5
...