"Independent" Simulation of Xilinx Project

R

russ

Guest
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Thanks
 
russ wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL? I've
googled and got lots of links, but sorting through them hasn't revealed
much yet.

Thanks
Click to expand...
Can't you argue that gate level simulation in ISE is verified by the
actual hardware? If the hardware behaves the same as the gate level
simulation doesn't that mean something?

Then you can restrict the two tool sets as a cross check of RTL
behaviour.

regards
Alan

--
Alan Fitch
Doulos
http://www.doulos.com
 
"Andy Peters" <google@latke.net> wrote in message
news:109cb2ab-b79a-470b-9c87-c9841159a9ed@a5g2000pre.googlegroups.com...
On Mar 12, 8:33 am, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc.,
libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Sounds like your customer is the typical military type with his head
up his ass.
Click to expand...
very good, there isn't enough humour on this newsgroup :)

Russ, I would suggest you contact your DER and discuss the tools issue
before going on a tangent with GHDL.

Hans
www.ht-lab.com
 
On Mar 12, 8:33 am, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.
Click to expand...
Sounds like your customer is the typical military type with his head
up his ass.

-a
 
On 12 Mrz., 16:33, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Thanks
Click to expand...
Hi russ,
maybe you can point out to your customer, that libraries are part of
the source code, not of the simulator tools.
The mentioned libs are a description of the hardware you are using,
and therefore as unique as your own source code.
Or do you have multiple versions of your sources (e.g. one in vhdl,
and another in verilog)?
Well, the libs are also available in two HDLs, so you could do
multilingual cross-simulation.
e.g. vhdl soure with vhdl lib ,
verilog source with vhdl lib,
vhdl source with verilog lib,
verilog source with verilog lib


Have a nice simulation
Eilert
 
Alan Fitch wrote:
russ wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began
with 9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification
or independent verification and validation with another tool set. GHDL
and GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc.,
libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Thanks

Can't you argue that gate level simulation in ISE is verified by the
actual hardware? If the hardware behaves the same as the gate level
simulation doesn't that mean something?

Then you can restrict the two tool sets as a cross check of RTL
behaviour.

regards
Alan

That solution is our Plan A, and might be accepted. I'm working on plan
Click to expand...
B, just in case. Plan C is to get the tool qualified, which will be
expensive. Then there is Plan 9...
 
Andy Peters wrote:
On Mar 12, 8:33 am, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Sounds like your customer is the typical military type with his head
up his ass.

-a
The guy with the big checkbook never has his head up his ass. You play
Click to expand...
by his rules or find another game.
 
HT-Lab wrote:
"Andy Peters" <google@latke.net> wrote in message
news:109cb2ab-b79a-470b-9c87-c9841159a9ed@a5g2000pre.googlegroups.com...
On Mar 12, 8:33 am, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc.,
libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Sounds like your customer is the typical military type with his head
up his ass.

very good, there isn't enough humour on this newsgroup :)

Russ, I would suggest you contact your DER and discuss the tools issue
before going on a tangent with GHDL.

Hans
www.ht-lab.com




Thanks, that is under discussion. The object here is to present
Click to expand...
"alternatives" with costs. Also thrown into the mix is obsolescence
planing and robustness.
My root reason for this post is to propose two independent low-cost
means of verifying the design. GHDL isn't a reqirement cast in stone.
 
In article <57569307-db64-42bd-9357-
50bf82df46df@o11g2000yql.googlegroups.com>, goouse@twinmail.de says...
test
On 12 Mrz., 16:33, russ <charleslyttle5...@charter.net> wrote:
We are doing a simple pld using Xilinx ISE 9.2i. The project began with
9.2i and must be finished with 9.2i.

We are working under DO-254 and need to do either tool qualification or
independent verification and validation with another tool set. GHDL and
GTKWave have been chosen as the second tool set. But the customer
objects that we are still using the Xilinx VITAL, primsim, etc., libraries.

Is there an independent implementation of these libraries for GHDL?
I've googled and got lots of links, but sorting through them hasn't
revealed much yet.

Thanks

Hi russ,
maybe you can point out to your customer, that libraries are part of
the source code, not of the simulator tools.
The mentioned libs are a description of the hardware you are using,
and therefore as unique as your own source code.
Or do you have multiple versions of your sources (e.g. one in vhdl,
and another in verilog)?
Well, the libs are also available in two HDLs, so you could do
multilingual cross-simulation.
e.g. vhdl soure with vhdl lib ,
verilog source with vhdl lib,
vhdl source with verilog lib,
verilog source with verilog lib


Have a nice simulation
Eilert
Click to expand...
 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top