About / Advertise
Verifieringsspråket ”e”, utvecklat av Verisity, har klubbats som IEEE-standard nummer 1647.
Standardiseringsprocessen av ”e” har accelererat sedan Cadence köpte Verisity förra året. Cadence har bidragit med såväl personal som immateriella tillgångar. Att språket skulle godkännas som standard var väntat, i synnerhet efter en omröstning inom IEEE i november förra året som gav starkt stöd åt språket.Cadence förhoppning är att fler EDA-leverantörer ska anamma ”e” som verifieringsspråk. Idag används det i utvecklingen av testbänkar i verktyget Specman, som ingick i Cadence köp av Verisity.
Konkurrenter till Cadence hävdar att ”e” minskar i betydelse då mycket av såväl språkets som Specmans funktionalitet återfinns i det nyare språket System Verilog och tillhörande verktyg. Men ”e”-anhängarna påstår motsatsen, och säger att System Verilog inte stöder verifiering på lika hög abstraktionsnivå som ”e”.
Enligt Cadence fanns förra året 15 000 Specmanlicenser och 300 företag som använder ”e”. Tillsammans har de skapat 50 miljoner rader kod.
