2 papers
cs.AR2026
Chip Floorplanning Combining Convex and Non-convex Optimization
Yilihamujiang Yimamu, Guillem Pastor-Rué, Jordi Cortadella
Floorplanning is a critical early stage of VLSI physical design, and its quality directly impacts interconnect wirelength, chip performance, and downstream design efficiency. This…
cs.FL2021
Decomposition of transition systems into sets of synchronizing state machines
Viktor Teren, Jordi Cortadella, Tiziano Villa
Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a giv…