Abstract: Determining simulation test coverage for a design of an electronic circuit, where graph-based verification tools are used to verify functional correctness of said design. A test coverage is determined from specified coverage points, and hardware test coverage is measured based on the occurrence of selected events. A specification for simulation test scenarios, and a hardware design language specification for the design comprising hardware events are provided. A list of event groups belonging to one simulation test scenario is created. For each group a temporal property coverage checker in the simulation model is generated that comprises a switch to enable or disable it.

Abstract: The invention relates to a method for predicting branch instructions in a processor and a processor configured for this method. The processor includes an execution unit, an instruction fetch unit and a branch prediction unit. The execution unit is configured for executing machine instructions of a binary computer program. The branch prediction unit is configured for predicting the behavior of branch instructions executed by the execution unit. The instruction fetch unit is configured for fetching and pipelining instructions to be executed by the execution unit.

Abstract: The invention relates to a method for predicting branch instructions in a processor and a processor configured for this method. The processor includes an execution unit, an instruction fetch unit and a branch prediction unit. The execution unit is configured for executing machine instructions of a binary computer program. The branch prediction unit is configured for predicting the behavior of branch instructions executed by the execution unit. The instruction fetch unit is configured for fetching and pipelining instructions to be executed by the execution unit.

Abstract: A computer processor receives a plurality of execution items corresponding to a computer process. The computer processor allocates a first memory portion corresponding to a first stack, wherein the first stack corresponds to a first class of execution items. The computer processor allocates a second memory portion corresponding to a second stack, wherein the second stack corresponds to a second class of execution items. The computer processor identifies a first execution item of the plurality of execution items and determining a class corresponding to the first execution item.

Abstract: A computer processor receives a plurality of execution items corresponding to a computer process. The computer processor allocates a first memory portion corresponding to a first stack, wherein the first stack corresponds to a first class of execution items. The computer processor allocates a second memory portion corresponding to a second stack, wherein the second stack corresponds to a second class of execution items. The computer processor identifies a first execution item of the plurality of execution items and determining a class corresponding to the first execution item.

Abstract: A computer processor receives a plurality of execution items corresponding to a computer process. The computer processor allocates a first memory portion corresponding to a first stack, wherein the first stack corresponds to a first class of execution items. The computer processor allocates a second memory portion corresponding to a second stack, wherein the second stack corresponds to a second class of execution items. The computer processor identifies a first execution item of the plurality of execution items and determining a class corresponding to the first execution item.

Abstract: A computer processor receives a plurality of execution items corresponding to a computer process. The computer processor allocates a first memory portion corresponding to a first stack, wherein the first stack corresponds to a first class of execution items. The computer processor allocates a second memory portion corresponding to a second stack, wherein the second stack corresponds to a second class of execution items. The computer processor identifies a first execution item of the plurality of execution items and determining a class corresponding to the first execution item.