Ana Petkovska
Ana Petkovska
Nexthink
Verifierad e-postadress på epfl.ch - Startsida
TitelCiteras avÅr
Fast generation of lexicographic satisfiable assignments: Enabling canonicity in SAT-based applications
A Petkovska, A Mishchenko, M Soeken, G De Micheli, R Brayton, P Ienne
Proceedings of the 35th International Conference on Computer-Aided Design, 1-8, 2016
122016
Fast hierarchical NPN classification
A Petkovska, M Soeken, G De Micheli, P Ienne, A Mishchenko
2016 26th International Conference on Field Programmable Logic and …, 2016
112016
Heuristic NPN classification for large functions using AIGs and LEXSAT
M Soeken, A Mishchenko, A Petkovska, B Sterin, P Ienne, RK Brayton, ...
International Conference on Theory and Applications of Satisfiability …, 2016
112016
Majority-inverter graph for FPGA synthesis
L Amarú, A Petkovska, PE Gaillardon, D Novo, P Ienne, G De Micheli
Proceedings of the 19th Workshop on Synthesis and System Integration of …, 2015
62015
Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver
A Petkovska, A Mishchenko, D Novo, M Owaida, P Ienne
Advanced Logic Synthesis, 169-188, 2018
52018
Constrained Interpolation for Guided Logic Synthesis
A Petkovska, D Novo, A Mishchenko, P Ienne
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 462-469, 2014
52014
Improved carry-chain mapping for the VTR flow
A Petkovska, G Zgheib, D Novo, M Owaida, A Mishchenko, P Ienne
International Conference on Field Programmable Technology, 80--87, 2015
42015
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains
Z Chu, X Tang, M Soeken, A Petkovska, G Zgheib, L Amarù, Y Xia, ...
Proceedings of the on Great Lakes Symposium on VLSI 2017, 131-136, 2017
32017
Exploiting Satisfiability Solvers for Efficient Logic Synthesis
A Petkovska
EPFL, 2017
32017
Progressive Generation of Canonical Sums of Products Using a SAT Solver
A Petkovska, A Mishchenko, D Novo, M Owaida, P Ienne
Proceedings of the 25th International Workshop on Logic and Synthesis, 2016
22016
Canonical computation without canonical representation
A Mishchenko, R Brayton, A Petkovska, M Soeken, L Amarú, A Domic
Proceedings of the 55th Annual Design Automation Conference, 52, 2018
12018
Enhancing Iterative Layering with SAT Solvers
A Petkovska, D Novo, AK Verma, A Mishchenko, P Ienne
International Workshop on Logic and Synthesis, 2013
2013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12