Jaehong Park

Title: Jaehong Park and His Patent on Design-Model Equivalence

Introduction

Jaehong Park is an inventor associated with College Station, Texas, and Motorola Corporation. His work includes a patented method for determining whether two design models have identical functionality.

Latest Patents

Park is credited with 1 patent, titled “Method for Determining Functional Equivalence Between Design Models.” The invention evaluates whether two design files behave equivalently by comparing corresponding verification outputs. It attempts to construct binary decision diagrams (BDDs) for those outputs and, when necessary, identifies candidate cutpoint pairs for further analysis.

The method uses an automatic test program generator to identify and remove invalid cutpoints. It then evaluates selected candidates by forming an exclusive OR of their outputs and attempting to build a BDD for the resulting function. Depending on the result, the method determines whether the candidate indicates equivalence or requires further evaluation through substitution of cutpoint-variable functions.

Career Highlights

Park’s patent addresses a verification challenge in design engineering: establishing functional equivalence between different design models. The approach combines BDD construction with automatic test generation to assess candidate relationships between outputs.

Collaborations

Park’s listed coworker is Carl P. Pixley. Both are associated with the patent work described here.

Conclusion

Jaehong Park’s patent presents a structured method for checking functional equivalence between design models, using BDDs and automatic test generation to support the verification process.