Search Engine

Salma Bakr

Add Question

Are you looking for?:
salma ali bakr , salma
14 Threads found on Salma Bakr
hi, how can i merge some data needed for my design with the bit file of the design then program the PROM with the resultant file ?? (in Xilinx or Altera) thanks, salma :)
what is soc encounter please, I would like to benefit from the discussion thanks salma:D It's a Cadence tool for place and route Synopsys has Apollo, Astro Magma has Blast Fusion
not sure, the last thing i heard was that sherif is leading a team there...! dunno what they've been up to lately...i've also heard from an "anonymous" that you're working there....LOL...but then i corrected the info and said you're somewhere else as far as i know...! btw: they moved to maadi and are managed by sawaris too
Can I write PSL properties from a C program??? as if we say it's a HIGH LEVEL type of properties :) thanks alot, salma PSL has a SystemC flavor, maybe that comes close to what you are looking for? Ajeetha, CVC
it's just spelled like that for protecting trade marks it's q-u-a-r-t-u-s like addn said Now, I got you :D q u @ r t u s But I couldn't find in any book :cry: ep20k
is assume treated exactly as assert in modelsim? assume should normally make a constraint on the inputs, does it do that in modelsim or does it treat the expression as an assert and tries to verify it too? thanks, salma:) Assume in simulation is treated exactly the same as assert. Not sure what Modelsim does,
hey ahmad i'm sorry in being late to reply :) well, i can give u only some info i'm just into some of these tools :( for designcompiler, it's a synthesizer, that uses the specs and constraints of the design to produce a netlist circuit with optimizations such as for area or timing for's like leonardo spectrum of mentor prim
Hi, i'm reading in a tutorial now and there is something confusing me: a property is as follows: ERROR must not be asserted between an END and the following START ( from one cycle after the END until one cycle after the START ) and it's written as follows in PSL: assert always (END -> next ( START before
what does this mean please, i read it online: Asics are best suited to applications with relatively high ratio of functionality to input/output. PALs are more suited to systems with low functionality and high pin-out. i need to know what does functionality to I/O mean ??? and what is the reason behind this info technically thanks,
i read in a book about RTL verification this sentence: "we define verifiable RTL as a combination of coding style and methodology techniques that, when used properly, will ensure cooperation and support for multiple EDA tools used during the course of verification" well, i've just started to read about verificatio
try to make an upgrade from the linux CD....not an installation I have tried this but it didn't work. any other solutions Yes, the bootloader wouldn't be updated unless "upgrade" the kernel... May try, boot by your Distro CD1 (The one can boot) mkdir /tmp (There has many ways...) moun
i have a question similar to the above too: how will i program an FPGA that is not on a kit ??? what if i don't need the peripherals on the kit and i wanna employ the FPGA as a chip by its own in a bigger design thanks, salma ok... u mean u hav FPGA chip... not the dev. board... so u need to create ur own
what are cell primitives please...??? thnx salma
what is build gates plz...??? i'm interested to know thnx, salma:D