Efficient Rectification Signal Validation for Optimal Functional ECO Patch Generation

Synthesis-based functional Engineering Change Order (ECO) algorithms, as classified in [1], are particularly effective for addressing functional bugs. These algorithms typically involve two primary steps: (1) identifying rectification signals to address functional mismatches, and (2) generating patc...

Celý popis

Podrobná bibliografie

Vydáno v:	2025 62nd ACM/IEEE Design Automation Conference (DAC) s. 1 - 6
Hlavní autoři:	Tung, Tzu-Yu, Hsu, Yu-Ling, Huang, Shao-Lun, Huang, Chung-Yang Ric
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 22.06.2025
Témata:	Benchmark testing Circuit faults Classification algorithms Computer bugs Costs Design automation ECO Engines Heuristic algorithms QBF quantifier elimination rectification point Runtime SAT Technological innovation
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!