Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

PSL properties from a C program

Status
Not open for further replies.
salma ali bakr

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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top