Mentor Graphics Corporation

Mona Safar

Mohamed Dessouky

Ashraf Mohamed Salem

Moaz Magdy Mustafa

Ahmed Hamed

This application discloses a computing system to check and generate an assertion statement. The assertion statement, when executed during a simulation of a circuit design, can verify a simulated behavior of the circuit design. The computing system can extract sequence items from the assertion statement, and generate a state representation for the sequence items based on the simulated behavior of the circuit design. The state representation can identify states of the extracted sequence items at different clock ticks of the simulation. The computing system can locate an error in the assertion statement based on the state representation by generating patterns from sequence operators in the assertion statement and comparing the patterns to the state representation. The computing system can utilize the error in the assertion statement to generate a corrected assertion statement. The computing system can utilize propagate-and-repeat functionality to generate assertions by determining when to check each sequence item.

Assertion statement check and debug

This application discloses an electronic control unit coupled to a bus in a vehicle communication network. The electronic control unit includes a processing system configured to generate an instruction including an identifier of a type of signal exchanged through a vehicle communication network and including a command associated with exchange of a signal value corresponding to the type of the signal. The electronic control unit includes a communication circuitry configured to identify, based on the type of the signal in the instruction, a packet having a section allocated for the signal value corresponding to the type of the signal. The communication circuitry also can perform packet operations on the section of the packet allocated for the signal value based, at least in part, on the command included in the instruction. The packet operations can include packing the signal value into the packet or extracting the signal value from the packet.

Growing community of inventors

Cairo, Egypt

Mona Safar