Back to Results
First PageMeta Content
Electronic design automation / Logic design / Model checking / Temporal logic / VHDL / Logic simulation / Hardware verification languages / Formal methods / Property Specification Language / Electronic engineering / Digital electronics / Hardware description languages


ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France
Add to Reading List

Document Date: 2013-10-21 02:25:05

Open Document

File Size: 529,84 KB

Share Result on Facebook

City

Meylan / /

Company

Thales Communications / J.Quévremont TIMA Laboratory / /

Country

France / /

IndustryTerm

proof tool / /

Position

controller / /

ProgrammingLanguage

php / /

Technology

FPGA / VHDL / simulation / /

URL

http /

SocialTag