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.

Recent content by patrickli

  1. P

    What to do if post layout timing not matching to synthesis

    Re: What to do if post layout timing not matching to synthes Pre-route and post-route will check differently. synthsis meet doesn't mean meet in post-route. some path only be checked in Post-route, unless you modify some default option when synthsis. ideal clock and CTS are also differently.
  2. P

    floating and undriven cells

    synthesis tool won't remove undriven and floating cell unless you set right command or variable:|.
  3. P

    Formality problem: top/sub module issue

    Re: fomality problem you can use hier-flow to do formal.
  4. P

    formality unmatched points

    because start from DC0412, constant register will be delete. you can set compile_delete_unloaded_sequential_cells false or set_dont_touch on the constant_register,
  5. P

    Incoming netlist checking

    I feel (2), (3) has no prolem. astro can do with "assign" now. In fact, the important thing is you need check sdc with PT firstly. see whether sdc is not reasoniable.
  6. P

    timing analyzing of gated clock

    clock gating check if you use power compiler insert clock-gating, use propagate_constraints -gate_clock it can add clock-gating check . otherwise you need add: set_clock_gating_check -rise -hold 0 [get_cells {..../main_gate}]
  7. P

    Which bus interface is the best in the SoC or IP design? Wh?

    Re: Which bus interface is the best in the SoC or IP design? where can I find the VCI spec?
  8. P

    FormalVerification-and-FunctionalVerification

    formalVerification use lec, formality tools to check the logic. functional verification use NC or vcs to run your function pattern. Sometimes formalVerification can pass, but functional verification will fail. for example, timing, reset problem...
  9. P

    How to see the simulated waveform in debussy?

    debussy waveform setenv LD_LIBRARY_PATH xxxxxx:$LD_LIBRARY_PATH xxxxxx: the path of verilog xl PLI lib in debussy software.
  10. P

    3d graphic ic start up document

    I once design GPU for 4 years. Now I left , becuase NV & ATI is too powerful, we can't catch up with them. Graphic is very complicate, you can learn from DX9 and OPENGL. There are some PPT files you can get from Stanford university web.
  11. P

    Need Pipeline Multiplier RTL

    pipeline multiplier rtl It is up to what lib you want to use. 0.13, 0.18 should be OK in 100M. You can use DW to try in DC.
  12. P

    can verilog read binary(like .obj) files

    verilog binary file read http://www.chris.spear.net/pli/default.htm
  13. P

    can verilog read binary(like .obj) files

    verilog binary file open use PLI , can read binary file.
  14. P

    How do I view .brd and .sch files?

    Re: .brd and .sch files cadence allegro PCB file & schematic file.
  15. P

    mpeg4 encoder/decoder asic chip

    I want to know where can get this draft? Thanks!

Part and Inventory Search

Back
Top