Prohlížení Publikační činnost ČVUT dle autora "Háleček I."

Zobrazují se záznamy 1-2 z 2

    • SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support 

      Autor: Fišer P.; Háleček I.; Schmidt J.; Šimek V.
      (World Scientific Publishing, Ltd., 2019)
      This paper presents a method for generating optimum multi-level implementations of Boolean functions based on Satisfiability (SAT) and Pseudo-Boolean Optimization (PBO) problems solving. The method is able to generate one ...

    • Towards AND/XOR balanced synthesis: Logic circuits rewriting with XOR 

      Autor: Háleček I.; Fišer P.; Schmidt J.
      (Elsevier, 2018)
      Although contemporary logic synthesis performs well on random logic, it may produce subpar results in XOR-intensive circuits. This indicated the need of equal status of XORs and ANDs, with their respective Negation-Permu ...