Search by property

Property "Talk-20abstract" (as page type) with input value "Formal-20verification-20(aka-20Symbolic-20Model-20Checking)-20is-20becoming-20a-0Amainstream-20technology-20in-20system-20on-20a-20chip-20(SoC)-2Fintellectual-20property-0Adesign-20and-20verification-20methodologies.-20In-20the-20past,-20the-20usage-20of-0Aformal-20verification-20was-20limited-20to-20a-20small-20range-20of-20applications;-20it-0Awas-20mainly-20used-20to-20verify-20complex-20protocols-20or-20intrinsic-20logic-0Afunctionality-20by-20formal-20verification-20experts.-20In-20recent-20years,-20we-20saw-0Aa-20rapid-20adoption-20of-20formal-20verification-20technology-20and-20many-20new-0Aapplication-20areas,-20such-20as-20checking-20of-20configuration-20and-20status-0Aregister-20accesses,-20SoC-20connectivity-20verification,-20low-20power-20design-0Averification,-20security-20applications,-20and-20many-20more.-20-20In-20this-20talk,-20we-0Agive-20an-20overview-20of-20the-20JasperGold-20Formal-20Verification-20Platform.-20The-0Aplatform-20provides-20a-20wide-20range-20of-20formal-20apps,-20which-20ease-20adoption-20of-0Aformal-20verification-20by-20offering-20property-20generation-20and-20other-20targeted-0Acapabilities-20for-20specific-20design-20and-20verification-20tasks.-20In-20addition,-0AJasperGold-20offers-20a-20unique-20interactive-20debug-20environment-20(called-0AVisualize)-20that-20allows-20the-20user-20to-20easily-20analyze-20the-20verification-0Aresults.-20We-20present-20JasperGold-20from-20a-20user’s-20point-20of-20view,-20showcase-0Aselected-20apps,-20and-20discuss-20features-20that-20were-20essential-20for-20their-20wide-0Aadoption." contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Showing below up to 0 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)