Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices

Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices

Inferring a functional specification from an existing digital design is a challenge that is suitable with reverse-engineering methods. One of the most widely used functional specification formats is a finite state machine (FSM). This article studies the possibility of blind passive specification min...

Full description

Bibliographic Details
Main Authors: Danil Cherepkov, Olga Mamoutova, Anton Dojnikov, Marina Bolsunovskaya
Format: Article
Language:English
Published: MDPI AG 2023-11-01
Series:Electronics
Subjects:
functional specification
FSM
inference
identification
trace analysis
Online Access:https://www.mdpi.com/2079-9292/12/22/4680

Internet

https://www.mdpi.com/2079-9292/12/22/4680

Similar Items