Abstract: A method and system for comparing a first model and a second model of an electronic design, wherein the first model is at a transaction level and the second model is at a register transfer level, comprises the steps of: translating signal values of the second model to a transaction stream; comparing a transaction stream of the first model against the transaction stream of the second model based on data at timing points of transaction phases of the transaction streams; and generating results based on the comparison of the transaction streams.

Abstract: A system and a method for thread creation where only copied threads share the same stack location for execution, so unrelated threads have individual stack space and can be executed concurrently in multi-processor system. Also, the copy operation of the stack frame is only necessary among the copied threads, so the speed of context switching among individual threads is fast. This operation can be a simple page table modification in the virtual memory management mechanism for further speed up.

Abstract: Evaluation information of a temporal description is displayed by: structuring data structures into a logical tree structure that is representative of the hierarchy of the temporal expressions, with each tree node representing a temporal primitive operator, and a unique index assigned to each primitive; evaluating the temporal expression, and recording the evaluation trace information that contains the corresponding unique index to the primitive node, the evaluation time stamp, and other information of the evaluation; and selectively displaying an evaluation sequence of the selected result at any level, including from the top of the tree structure of the temporal evaluation in order to show the evaluation history of the selected result at a lower level of the expression tree, where the selection methods include a graphical interface on the screen to select a child expression at a given tree level.

Abstract: A system and a method for thread creation where only copied threads share the same stack location for execution, so unrelated threads have individual stack space and can be executed concurrently in multi-processor system. Also, the copy operation of the stack frame is only necessary among the copied threads, so the speed of context switching among individual threads is fast. This operation can be a simple page table modification in the virtual memory management mechanism for further speed up.