Steven Mark German

Steven Mark German is an accomplished inventor based in Wayland, MA (US). He holds a total of four patents, showcasing his expertise in the field of electronic circuit design and verification. His innovative contributions have significantly impacted the industry.

Latest Patents

One of his latest patents is titled "Scalable model checking in functional verification by integrating user-guided abstraction." This invention involves a method, system, and computer program product for appending abstractions to a testbench used for verifying the design of an electronic circuit. The method includes identifying a set of support properties for a given electronic circuit, computing hardware signals, and creating abstract signals to enhance the verification process.

Another notable patent is "Vectorization of bit-level netlists." This invention provides a method for vectorizing bit-level netlists by analyzing the propagation of read data associated with registers and forming vector-level bundles based on this analysis. This technique improves the efficiency of working with complex electronic designs.

Career Highlights

Steven Mark German is currently employed at International Business Machines Corporation (IBM), where he continues to develop innovative solutions in electronic design automation. His work has contributed to advancements in the verification and optimization of electronic circuits.

Collaborations

He has collaborated with notable coworkers, including Michael Andrew Blake and Pak-kin Mak, who have also made significant contributions to the field.

Conclusion

Steven Mark German's innovative patents and contributions to electronic circuit design demonstrate his expertise and commitment to advancing technology. His work at IBM and collaborations with other professionals further highlight his impact on the industry.