2 papers
math.DG2024
Generalized complex Stein manifold
Debjit Pal
We introduce the notion of a generalized complex (GC) Stein manifold and provide complete characterizations in three fundamental aspects. First, we extend Cartan's Theorem A and B…
cs.AR2024
VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
Giuseppe Stracquadanio, Sourav Medya, Stefano Quer +1
In recent years, there has been an exponential growth in the size and complexity of System-on-Chip designs targeting different specialized applications. The cost of an undetected b…