S. Tahar

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL

G. Al Sammane and others (2007) · FDL’07

Modeling and verification of embedded systems using Cadence SMV

A. Mir and others (2000) · IEEE