Back to Results
First PageMeta Content
SystemC / Electronic design automation / Transaction-level modeling / Promela / Scheduling / SPIN model checker / Electronic engineering / Hardware description languages / Model checkers


Document Date: 2008-06-30 15:34:28

Open Document

File Size: 301,97 KB

Share Result on Facebook

Country

Germany / France / /

Facility

SystemC TLM Library / /

IndustryTerm

communications functions / verification tools / intrinsic products / pre-processing copy / embedded software development / built-in primitive communications channels / final chip / possible applications / adhoc product / Pre-processing / ad-hoc products / systems-on-a-chip / communications channels / Function call communications / possible data processing / verification tool / /

Organization

Centre ´equation / /

/

Position

global scheduler / scheduler / non-preemptive scheduler / Promela General / official scheduler / SystemC scheduler / /

ProgrammingLanguage

J / Promela / Esterel / C++ / /

Technology

alpha / simulation / final chip / /

SocialTag