Refine by Content Type

Refine by Product

Refine by Time Frame

image thumbnail

updated almost 2 years ago

SCOPE: interactively tabulate SEER excel variables by Rex Cheung

This takes SEER excel column data interactively, tabulate them, write back in table format. (data import, data export, optimization)

output=xls2tabulate2xls(xlsfilename)

image thumbnail

updated 2 years ago

Polyspace Batch Templates by Christian Bard

This is a set of scripts allowing to launch verification in batch modules by modules. (polyspace, polyspace batch, scripts)

image thumbnail

updated almost 4 years ago

EmailNotifier by Alex Debarros

A tool to receive an email notification at the end of a PolySpace verification (polyspace email)

image thumbnail

updated 4 years ago

SCREAMConverter by Alex Debarros

A tool to convert SCREAM comments into the new 10a acronyms (polyspace scream sqo)

Contact us