PSL properties from a C program

Status
Not open for further replies.

salma ali bakr

Advanced Member level 3
Joined
Jan 27, 2006
Messages
969
Helped
104
Reputation
206
Reaction score
21
Trophy points
1,298
Activity points
7,491
Can I write PSL properties from a C program???
as if we say it's a HIGH LEVEL type of properties

thanks alot,
Salma
 

salma ali bakr said:
Can I write PSL properties from a C program???
as if we say it's a HIGH LEVEL type of properties

thanks alot,
Salma
Click to expand...

PSL has a SystemC flavor, maybe that comes close to what you are looking for?

Ajeetha, CVC
www.noveldv.com
 
Well, I needed to write PSL properties according to a specification given only as a C program...of course it isn't feasible to do that directly since C has only variables and functions (not like an HDL that's dealing with signals and mainly zeros and ones)....

But now I "sort of" solved the problem by being able to know the RAM addresses where the variables in the C are stored....and by that, I'm able to make property monitors that are integrated with the processor (where the C code is turning), since I have a link or a mapping between the high level program written in C and its hardware implementation (it doesn't really cover every aspect in the C program, but it's at least a point to consider)

thanks,
Salma
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…