Concept
Rewriting
Related publications (32)
Scalable Logic Rewriting Using Don’t Cares
Giovanni De Micheli, Alessandro Tempia Calvino
Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...
2024Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time
We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho algorithm for tree isomo ...
Springer2022Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits
Giovanni De Micheli, Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar
Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...
2022On the constancy theorem for anisotropic energies through differential inclusions
In this paper we study stationary graphs for functionals of geometric nature defined on currents or varifolds. The point of view we adopt is the one of differential inclusions, introduced in this context in the recent papers (De Lellis et al. in Geometric ...
2021Black hole metamorphosis and stabilization by memory burden
Systems of enhanced memory capacity are subjected to a universal effect of memory burden, which suppresses their decay. In this paper, we study a prototype model to show that memory burden can be overcome by rewriting stored quantum information from one se ...
AMER PHYSICAL SOC2020SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
Giovanni De Micheli, Mathias Soeken, Winston Jason Haaswijk
Exact synthesis is a versatile logic synthesis technique with applications to logic optimization, technology mapping, synthesis for emerging technologies, and cryptography. In recent years, advances in SAT solving have lead to a heightened research effort ...
2020Structural Rewriting in XOR-Majority Graphs
Giovanni De Micheli, Mathias Soeken, Zhufei Chu
In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives. XMGs are an extension of Majority-Inverter Graphs (MIGs). Previous ...
ASSOC COMPUTING MACHINERY2019The Complexity of Self-Dual Monotone 7-Input Functions
Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk
The study of the complexity of Boolean functions has recently found applications in logic synthesis and optimization algorithms, as for instance in logic rewriting. Previous works have focused on the minimum length of Boolean chains for functions up to 5 i ...
2019A Rule Synthesis Algorithm for Programmable Stochastic Self-Assembly of Robotic Modules
Alcherio Martinoli, Bahar Haghighat
Programmable self-assembly of modular robots offers promising means for structure formation at different scales. Rule-based approaches have been previously employed for distributed control of stochastic self-assembly processes. The assembly rate in the pro ...
SPRINGER INTERNATIONAL PUBLISHING AG2019Deep Bayesian Trust : A Dominant and Fair Incentive Mechanism for Crowd
An important class of game-theoretic incentive mechanisms for eliciting effort from a crowd are the peer based mechanisms, in which workers are paid by matching their answers with one another. The other classic mechanism is to have the workers solve some g ...
ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2019