Researchers at Princeton University have developed a novel method for
implementing formula-specific Boolean Satisfiability solver circuits in
configurable hardware. Princeton is currently seeking industrial collaborators
to commercialize this technology.
As the complexity of designing electronic systems increases, the
effectiveness and efficiency...
Published: 6/28/2022
|
Inventor(s): Pranav Ashar, Margaret Martonosi, Peixin Zhong, Sharad Malik
Keywords(s): computers/software
Category(s): Computer Science and Information Technology
|