ALEXANDRIA, Va., Oct. 8 -- United States Patent no. 12,437,133, issued on Oct. 7, was assigned to The Board of Trustees of the University of Illinois (Urbana, Ill.).
"Property-driven automatic generation of reduced component hardware" was invented by Rakesh Kumar (Urbana, Ill.) and Nathaniel Lewis Bleier (Urbana, Ill.).
According to the abstract* released by the U.S. Patent & Trademark Office: "An embodiment may involve obtaining a specification of connectivity between a plurality of electronic components, a property library of logical validations, and a set of restrictions for an execution environment of the electronic components, wherein each of the electronic components is associated with at least one of the logical validations; determ...