Shahram Salamian

Title: Shahram Salamian: Innovator in Multiprocessor Verification

Introduction

Shahram Salamian is a notable inventor based in Austin, TX (US). He has made significant contributions to the field of multiprocessor verification, holding a total of 4 patents. His work focuses on enhancing the reliability and efficiency of multiprocessor systems.

Latest Patents

One of his latest patents is titled "Method and apparatus for creating a multiprocessor verification." This invention describes a method and apparatus for establishing a multiprocessor verification environment. The Multiprocessor Test Generator (MPTG) generates a set of test cases in a Multiprocessor Test Language (MTL) format, adhering to constraints and enumeration controls specified in a test specification. An abstract system model of the machine under test is inputted to the MPTG, which accesses a system-specific database to generate test cases based on the constraints. The MTL test cases are then inputted to a Multiprocessor Test Executive (MPX), which manages the issuance of test cases to a cache-coherent multiprocessor system and monitors their completion to verify the system's operation.

Another significant patent is the "Method and system for verifying execution order within a multiprocessor." This invention provides a method and system for ensuring the consistency of instruction execution order in a multiprocessor data processing system according to a specified memory consistency model. Each processor executes instructions from associated instruction streams, which include storing unique values from multiple processors to a single selected memory address. The system verifies the instruction execution order by comparing the unique value with a set of valid values determined by the memory consistency model.

Career Highlights

Shahram Salamian is currently employed at International Business Machines Corporation (IBM), where he continues to innovate in the field of multiprocessor systems. His work has been instrumental in advancing the technology used in modern computing environments.

Collaborations

Some of his notable coworkers include Brian Walter O'Krafka and Jace W Krull, who have collaborated with him on various projects within the realm of multiprocessor verification.

Conclusion

Shahram Salamian's contributions to multiprocessor verification have significantly impacted the field, showcasing his expertise and innovative spirit. His patents reflect a deep understanding of complex systems and a commitment to enhancing their reliability and performance.