$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

Method and apparatus for identifying gated clocks within a circuit design using a standard optimization tool 원문보기

IPC분류정보
국가/구분 United States(US) Patent 등록
국제특허분류(IPC7판)
  • G06F-017/50
출원번호 US-0752616 (1996-11-19)
발명자 / 주소
  • Merryman Kenneth E.
  • Cleereman Kevin C.
  • Engelbrecht Kenneth L.
출원인 / 주소
  • Unisys Corporation
대리인 / 주소
    Nawrocki, Rooney & Sivertson, P.A.
인용정보 피인용 횟수 : 30  인용 특허 : 33

초록

A method and apparatus for identifying gated clocks within a circuit design. In a typical design, each of the number of gated clock signals is uniquely determined by a particular logical combination of a number of raw clock signals and a number of enable signals. In the present invention, the gated

대표청구항

[ What is claimed is:] [1.] Apparatus for identifying gated clocks in a circuit design, wherein the circuit design has a number of state devices, the circuit design includes a number of first signals and a number of second signals wherein selected ones of the number of first signals and selected one

이 특허에 인용된 특허 (33)

  1. Kawata Tetsuro (Kanagawa JPX), Apparatus for optimizing hierarchical circuit data base and method for the apparatus.
  2. Baisuck Allen (San Jose CA) Fairbank Richard L. (Schenectady NY) Gowen ; III Walter K. (Troy NY) Henriksen Jon R. (Latham NY) Hoover ; III William W. (Ballston Lake NY) Huckabay Judith A. (Union City, Architecture and method for data reduction in a system for analyzing geometric databases.
  3. Saucier Gabriele (Bresson FRX) Poirot Franck J. (Valbonne FRX), Automatic synthesis of integrated circuits employing controlled input dependency during a decomposition process.
  4. Hooper Donald F. (Northboro MA) Kundu Snehamay (Marlboro MA), Bitwise implementation mechanism for a circuit design synthesis procedure.
  5. Igarashi Shinichi (Tokyo JPX), CAD system for generating a schematic diagram of identifier sets connected by signal bundle names.
  6. Avidan Jacob, Circuit analyzer of black, gray and transparent elements.
  7. Talbott Marvin T. (Plano TX) Hutchison Katherine K. (Dallas TX), Computer tool for system level design.
  8. Hooper Donald F. (Northboro MA), Data base access mechanism for rules utilized by a synthesis procedure for logic circuit design.
  9. Kamijima Shinji (Tokyo JPX), Floor-planning apparatus for hierarchical design of LSI.
  10. Seyler Mark R. (Portland OR), Graph-based programming system and associated method.
  11. Modarres Hossein (Mountain View CA) Raam Susan (Fremont CA) Lai Jiun-Hao (Santa Clara CA), Hierarchical floorplanner.
  12. Mastellone Mitchel A. (New Brunswick NJ), Hierarchical net list derivation system.
  13. Do Cuong (San Jose CA) Wei Ruey-Sing (Fremont CA), Hierarchical ordering of logical elements in the canonical mapping of net lists.
  14. Rubin Steven M. (Portola Valley CA), Integrated electric design system with automatic constraint satisfaction.
  15. Talbott Marvin T. (Plano TX) Burks Henry L. (Dallas TX) Shaw Richard W. (Plano TX) Amundsen Michael (Dallas TX) Hutchison Katherine K. (Dallas TX) Strasburg Donald D. (Plano TX), Method and apparatus for aiding system design.
  16. Kionka Daniel P. (San Jose CA), Method and apparatus for optimizing computer file compilation.
  17. Sharma Balmukund K. (Santa Clara CA) Mahmood Mossaddeq (San Jose CA), Method and apparatus for synthesizing datapaths for integrated circuit design and fabrication.
  18. Talbott Marvin T. (Plano TX) Burks Henry L. (Dallas TX) Shaw Richard W. (Plano TX) Strasburg Donald D. (Plano TX) Hutchison Katherine K. (Dallas TX), Method and apparatus for system design.
  19. Wang Albert R. (Fremont CA) Rudell Richard (Los Gatos CA), Method and structure for use in static timing verification of synchronous circuits.
  20. Kim Michelle Y. (Scarsdale NY), Method and system for providing a non-rectangular floor plan.
  21. Matsunaga Yusuke (Yokohama JPX), Method for changing an arrangement of an initial combinational circuit to satisfy prescribed delay time by computing per.
  22. Morita Masato (Hadano JPX) Ikariya Yukio (Hadano JPX) Sakataya Yoshinori (Hadano JPX) Miyoshi Masayuki (Hadano JPX), Method for generating logic circuit data.
  23. Petrus Edwin S. (Santa Clara CA), Method for preparing and dynamically loading context files.
  24. Nishiyama Tamotsu (Hirakata JPX) Ikeda Kazushi (Tsu JPX) Matsunaga Tomoko (Kumamoto JPX), Method of and system for automatically generating network diagrams.
  25. Dai Wei-Jin (Cupertino CA) Galbiati ; III Louis (Mountain View CA) Varghese Joseph (Sunnyvale CA) Bui Dam V. (Milpitas CA) Sample Stephen P. (Mountain View CA), Method of removing gated clocks from the clock nets of a netlist for timing sensitive implementation of the netlist in a.
  26. Altheimer Michel (Antibes FRX) Gravoulet Valery F. (Valbonne FRX) Holt Paul M. (Antibes FRX) Riherd Frank T. (Nice FRX), Methods of operating cell libraries and of realizing large scale integrated circuits using a programmed compiler includi.
  27. Sturges Jay J. (Orangevale CA), Process oriented logic simulation having stability checking.
  28. Ishii Alexander T. (Princeton NJ), Retiming gated-clocks and precharged circuit structures.
  29. Lee Kaiwin (Sunnyvale CA) Chung Lu (Sunnyvale CA) Lin Chin-Hsen (Milpitas CA) Liao Yuh-Zen (Saratoga CA) Wuu Stephen (Sunnyvale CA), Routing algorithm method for standard-cell and gate-array integrated circuit design.
  30. Hooper Donald F. (Northboro MA) Kundu Snehamay (Marlboro MA), Rule structure in a procedure for synthesis of logic circuits.
  31. Dangelo Carlos (Los Gatos CA) Nagasamy Vijay (Union City CA), Specification and design of complex digital systems.
  32. Brasen Daniel R. (San Francisco CA) Ashtaputre Sunil V. (San Jose CA), Symbolic routing guidance for wire networks in VLSI circuits.
  33. Selvidge Charles W. (Charlestown MA) Dahl Matthew L. (Cambridge MA), Transition analysis and circuit resynthesis method and device for digital circuit modeling.

이 특허를 인용한 특허 (30)

  1. Kazuki Chiba JP, Apparatus and method for converting logical connection information of circuit.
  2. Ooshima, Takayuki, Apparatus and method of delay calculation for structured ASIC.
  3. Dupenloup Guy,FRX, Buffering tree analysis in mapped design.
  4. Boland,Arthur J.; Pier,Richard M.; Hogan,William Matthew, Causality based event driven timing analysis engine.
  5. Haritsa, Manjunath D.; Ankola, Manishkumar B.; Schmitt, Ralf; Sharma, Anup; Hoerold, Stephan; Murata, David Minoru, Clock skew verification methodology for grid-based design.
  6. Masleid,Robert P, Cold clock power reduction.
  7. Kumagai, Satoru, Design method for gate array integrated circuit.
  8. Kitahara Takeshi,JPX, Gated clock design supporting method, gated clock design supporting apparatus, and computer readable memory storing gated clock design supporting program.
  9. Takeshi Kitahara JP, Gated clock design supporting method, gated clock design supporting apparatus, and computer readable memory storing gated clock design supporting program.
  10. Wilcox,Stephen Paul; Cunningham,Paul Alexander, Generation of clock gating function for synchronous circuit.
  11. Shinagawa Naoko,JPX, Layout method for a clock tree in a semiconductor device.
  12. Horita,Keisuke, Logic-synthesis method and logic synthesizer.
  13. Dowling Brian Michael ; Rodeo James David, Method and apparatus for checking asynchronous HDL circuit designs.
  14. Serdar, Tatjana; Omedes, Olivier, Method and mechanism for performing timing aware via insertion.
  15. Serdar, Tatjana; Omedes, Olivier, Method and mechanism for performing timing aware via insertion.
  16. Van Ginneken, Lukas P. P. P.; Groeneveld, Patrick R.; Philipsen, Wilhelmus J. M., Method for storing multiple levels of design data in a common database.
  17. Masamichi Kawarabayashi JP; Takuo Nakaki JP, Method of changing logic circuit portion into gated clock portion and recording medium storing a program for carrying out the method.
  18. Hou,Cliff; Cheng,Chia Lin; Lu,Lee Chung, Methodology to optimize hierarchical clock skew by clock delay compensation.
  19. Gu, Yongfeng; Venkataramani, Girish, Model-based retiming with functional equivalence constraints.
  20. Gu, Yongfeng; Venkataramani, Girish, Model-based retiming with functional equivalence constraints.
  21. Dupenloup Guy,FRX, RTL analysis for improved logic synthesis.
  22. Dupenloup Guy,FRX, RTL analysis tool.
  23. Hathaway, David J.; Soreff, Jeffrey P.; Vanderschaaf, Neil R.; Warnock, James D., Reduced pessimism clock gating tests for a timing analysis tool.
  24. Davidson, Scott; Tekumalla, Ramesh C., Reducing verification time for integrated circuit design including scan circuits.
  25. Collins, Jr.,Truman Wesley, Slack time analysis through latches on a circuit design.
  26. Craven Ted L. ; Baylor Denis M. ; Rindenau Yael, Static timing analysis of digital electronic circuits using non-default constraints known as exceptions.
  27. Palermo, Robert J; Sakallah, Karem A.; Venkatesh, Shekaripuram V.; Mortazavi, Mohammad, System and method for timing abstraction of digital logic circuits.
  28. Robert J. Palermo ; Karem A. Sakallah ; Shekaripuram V. Venkatesh ; Mohammad Mortazavi, System and method for timing abstraction of digital logic circuits.
  29. Nakamura, Atsushi; Wakabayashi, Kazutoshi; Maruyama, Yuichi, System synthesizer.
  30. Oleksinski,Nicholas A.; Minter,Michael A., Timing constraint generator.
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로