KR20220052494A - Similar circuit searching method and apparatus for verifing circuit - Google Patents

Similar circuit searching method and apparatus for verifing circuit Download PDF

Info

Publication number
KR20220052494A
KR20220052494A KR1020200136500A KR20200136500A KR20220052494A KR 20220052494 A KR20220052494 A KR 20220052494A KR 1020200136500 A KR1020200136500 A KR 1020200136500A KR 20200136500 A KR20200136500 A KR 20200136500A KR 20220052494 A KR20220052494 A KR 20220052494A
Authority
KR
South Korea
Prior art keywords
circuit
circuit model
similar
node
verification
Prior art date
Application number
KR1020200136500A
Other languages
Korean (ko)
Other versions
KR102417677B1 (en
Inventor
박찬
Original Assignee
펜타큐브 주식회사
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 펜타큐브 주식회사 filed Critical 펜타큐브 주식회사
Priority to KR1020200136500A priority Critical patent/KR102417677B1/en
Publication of KR20220052494A publication Critical patent/KR20220052494A/en
Application granted granted Critical
Publication of KR102417677B1 publication Critical patent/KR102417677B1/en

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/31—Design entry, e.g. editors specifically adapted for circuit design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/50—Information retrieval; Database structures therefor; File system structures therefor of still image data
    • G06F16/53—Querying
    • G06F16/532—Query formulation, e.g. graphical querying
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/50—Information retrieval; Database structures therefor; File system structures therefor of still image data
    • G06F16/53—Querying
    • G06F16/535—Filtering based on additional data, e.g. user or group profiles
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/50—Information retrieval; Database structures therefor; File system structures therefor of still image data
    • G06F16/53—Querying
    • G06F16/538—Presentation of query results
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/39—Circuit design at the physical level
    • G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Data Mining & Analysis (AREA)
  • Databases & Information Systems (AREA)
  • Mathematical Physics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

According to an embodiment of the present invention, a circuit search device for circuit verification and a method thereof are provided. The circuit search method for circuit verification according to an embodiment of the present invention includes the steps of: generating a plurality of target circuit models by modeling the target circuit diagram; determining a reference circuit model; retrieving a similar circuit model corresponding to the reference circuit model from the plurality of target circuit models; and providing the retrieved similar circuit model.

Description

회로 검증을 위한 유사 회로 검색 장치 및 방법{SIMILAR CIRCUIT SEARCHING METHOD AND APPARATUS FOR VERIFING CIRCUIT}Apparatus and method for searching similar circuits for circuit verification

본 발명은 회로 검증을 위한 유사 회로 검색 방법 및 장치에 관한 것이다.The present invention relates to a similar circuit search method and apparatus for circuit verification.

일반적으로 회로 설계는 회로 설계 툴 또는 프로그램(CAD)에 의해서 이루어진다. 이러한 CAD에 의해서 이루어진 회로 설계가 기 설정된 설계 규칙(부품의 연결/부품의 권장 파라미터 등)에 부합하는지를 확인하기 위해 회로 설계에 대한 검증(예: Design Rule Checking, DRC)이 수행될 수 있다.In general, circuit design is performed by a circuit design tool or program (CAD). Verification of the circuit design (eg, Design Rule Checking, DRC) may be performed in order to check whether the circuit design made by the CAD conforms to a preset design rule (connection of parts/recommended parameters of parts, etc.).

설계된 회로에 대한 검증은 설계자가 회로를 구성하는 회로 주요 인자의 연결과 속성값이 설계 규칙에 부합하는지 직접 눈으로 확인해야 하는 과정이기 때문에 회로 검증을 위해 많은 시간이 소요될 뿐 아니라 사람의 실수에 의한 오류가 발생될 수 있다.Since the verification of the designed circuit is a process in which the designer must directly check whether the connection and property values of the main circuit factors composing the circuit conform to the design rules, it takes a lot of time to verify the circuit and is caused by human error. Errors may occur.

따라서 회로 검증에 소요되는 시간과 실수 방지를 위해 툴 또는 프로그램이 회로를 자동으로 검증할 수 있는 유사 회로 검색 방법이 요구된다. Therefore, there is a need for a similar circuit search method in which a tool or program can automatically verify the circuit in order to avoid mistakes and time required for circuit verification.

본 발명이 해결하고자 하는 과제는 회로 검증을 위한 유사 회로 검색 방법 및 장치를 제공하는 것이다. An object of the present invention is to provide a similar circuit search method and apparatus for circuit verification.

구체적으로, 본 발명이 해결하고자 하는 과제는 회로 검증에 소요되는 시간과 실수 방지를 위해 툴 또는 프로그램이 회로를 자동으로 검증할 수 있는 유사 회로 검색 방법 및 장치를 제공하는 것이다.Specifically, an object of the present invention is to provide a similar circuit search method and apparatus in which a tool or program can automatically verify a circuit in order to avoid mistakes and time required for circuit verification.

본 발명의 과제들은 이상에서 언급한 과제들로 제한되지 않으며, 언급되지 않은 또 다른 과제들은 아래의 기재로부터 당업자에게 명확하게 이해될 수 있을 것이다.The problems of the present invention are not limited to the problems mentioned above, and other problems not mentioned will be clearly understood by those skilled in the art from the following description.

전술한 바와 같은 과제를 해결하기 위하여 회로 검증을 위한 유사 회로 검색 방법 및 장치가 제공된다.In order to solve the above problems, a similar circuit search method and apparatus for circuit verification are provided.

본 발명의 실시예에 따른 회로 검증을 위한 유사 회로 검색 방법은, 대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성하는 단계; 기준 회로 모델을 결정하는 단계; 상기 복수의 대상 회로 모델에서 상기 기준 회로 모델에 대응하는 유사 회로 모델을 검색하는 단계; 및 상기 검색된 유사 회로 모델을 제공하는 단계를 포함한다. A similar circuit search method for circuit verification according to an embodiment of the present invention includes generating a plurality of target circuit models by modeling a target circuit diagram; determining a reference circuit model; searching for a similar circuit model corresponding to the reference circuit model in the plurality of target circuit models; and providing the retrieved similar circuit model.

본 발명의 실시예에 따른 회로 검증을 위한 유사 회로 검색 장치는, 회로도를 저장하는 저장부; 데이터를 표시하도록 구성된 표시부; 및 상기 저장부 및 상기 표시부와 동작 가능하게 연결된 제어부를 포함하고, 상기 제어부는, 대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성하고, 기준 회로 모델을 결정하고, 상기 복수의 대상 회로 모델에서 상기 기준 회로 모델에 대응하는 유사 회로 모델을 검색하고, 상기 검색된 유사 회로 모델을 제공하도록 구성된다. A similar circuit search apparatus for circuit verification according to an embodiment of the present invention includes: a storage unit for storing a circuit diagram; a display unit configured to display data; and a control unit operatively connected to the storage unit and the display unit, wherein the control unit generates a plurality of target circuit models by modeling a target circuit diagram, determines a reference circuit model, and selects the plurality of target circuit models from the plurality of target circuit models. and retrieve the similar circuit model corresponding to the reference circuit model, and provide the retrieved similar circuit model.

기타 실시예의 구체적인 사항들은 상세한 설명 및 도면들에 포함되어 있다.Details of other embodiments are included in the detailed description and drawings.

본 발명은 회로 검증에 소요되는 시간과 실수 방지를 위해 툴 또는 프로그램이 회로를 자동으로 검증할 수 있는 유사 회로 검색 방법을 제공할 수 있다.The present invention can provide a similar circuit search method in which a tool or program can automatically verify a circuit in order to avoid mistakes and time required for circuit verification.

또한 본 발명은 회로도의 설계 품질을 검증하기 위해 소요되는 시간, 연산량 및 자원 소모량 등을 최소화할 수 있다.In addition, the present invention can minimize the amount of time, computation, and resource consumption required to verify the design quality of the circuit diagram.

또한 본 발명은 회로도에서 자주 발생하는 설계 오류, 및 불량 사례를 빠르게 발견할 수 있다. In addition, the present invention can quickly detect design errors and bad cases that occur frequently in circuit diagrams.

또한 본 발명은 회로도를 검증하기 위해 별도의 회로를 재설계해야 하는 번거로움을 없앨 수 있다.In addition, the present invention can eliminate the hassle of having to redesign a separate circuit to verify the circuit diagram.

또한 본 발명은 사용자가 특정 회로에 대한 검증 규칙을 설정하고, 설정된 검증 규칙을 이용하여 검증을 수행함으로써, 사용자 맞춤형 회로 설계가 가능하다.In addition, according to the present invention, a user-customized circuit design is possible by a user setting a verification rule for a specific circuit and performing verification using the set verification rule.

또한 본 발명은 회로 검증을 통해 설계 오류 또는 불량 여부를 제공할 뿐만 아니라 각 회로 인자가 가져야 하는 속성값 또한 제공함으로써, 사용자가 각 회로 인자에 대한 속성값을 일일이 확인해야 하는 불편함을 해소할 수 있다. In addition, the present invention provides not only design errors or defects through circuit verification, but also provides attribute values that each circuit factor should have, thereby eliminating the inconvenience of the user having to individually check the attribute values for each circuit factor. there is.

본 발명에 따른 효과는 이상에서 예시한 내용에 의해 제한되지 않으며, 더욱 다양한 효과들이 본 명세서 내에 포함되어 있다.The effect according to the present invention is not limited by the contents exemplified above, and more various effects are included in the present specification.

도 1은 본 발명의 실시예에 따른 회로 검증을 위한 유사 회로 검색 시스템을 설명하기 위한 개략도이다.
도 2는 본 발명의 실시예에 따른 사용자 장치의 개략적인 블록도이다.
도 3은 본 발명의 실시예에 따른 서비스 제공 서버의 개략적인 블록도이다.
도 4는 본 발명의 실시예에 따른 사용자 장치에서의 회로 검증을 위한 유사 회로 검색 및 이를 검증하기 위한 방법을 설명하기 위한 흐름도이다.
도 5는 본 발명의 실시예에 따른 대상 회로도를 모델링하는 방법을 설명하기 위한 예시도이다.
도 6은 본 발명의 실시예에 따른 유사 회로 모델을 검색하는 방법을 설명하기 위한 예시도이다.
도 7 내지 도 10은 본 발명의 실시예에 따른 유사 회로 검색 및 회로 검증에 관련된 다양한 인터페이스 화면을 나타내는 예시도들이다.1 is a schematic diagram for explaining a similar circuit search system for circuit verification according to an embodiment of the present invention.
2 is a schematic block diagram of a user device according to an embodiment of the present invention.
3 is a schematic block diagram of a service providing server according to an embodiment of the present invention.
4 is a flowchart illustrating a similar circuit search for circuit verification in a user device and a method for verifying the same according to an embodiment of the present invention.
5 is an exemplary diagram for explaining a method of modeling a target circuit diagram according to an embodiment of the present invention.
6 is an exemplary diagram for explaining a method of searching for a similar circuit model according to an embodiment of the present invention.
7 to 10 are exemplary views illustrating various interface screens related to a similar circuit search and circuit verification according to an embodiment of the present invention.

본 발명의 이점 및 특징, 그리고 그것들을 달성하는 방법은 첨부되는 도면과 함께 상세하게 후술되어 있는 실시예들을 참조하면 명확해질 것이다. 그러나, 본 발명은 이하에서 개시되는 실시예들에 한정되는 것이 아니라 서로 다른 다양한 형태로 구현될 것이며, 단지 본 실시예들은 본 발명의 개시가 완전하도록 하며, 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자에게 발명의 범주를 완전하게 알려주기 위해 제공되는 것이며, 본 발명은 청구항의 범주에 의해 정의될 뿐이다. 도면의 설명과 관련하여, 유사한 구성요소에 대해서는 유사한 참조부호가 사용될 수 있다.Advantages and features of the present invention and methods of achieving them will become apparent with reference to the embodiments described below in detail in conjunction with the accompanying drawings. However, the present invention is not limited to the embodiments disclosed below, but will be embodied in various different forms, and only these embodiments allow the disclosure of the present invention to be complete, and common knowledge in the art to which the present invention pertains It is provided to fully inform those who have the scope of the invention, and the present invention is only defined by the scope of the claims. In connection with the description of the drawings, like reference numerals may be used for like components.

본 문서에서, "가진다," "가질 수 있다," "포함한다," 또는 "포함할 수 있다" 등의 표현은 해당 특징(예: 수치, 기능, 동작, 또는 부품 등의 구성요소)의 존재를 가리키며, 추가적인 특징의 존재를 배제하지 않는다.In this document, expressions such as "have," "may have," "includes," or "may include" refer to the presence of a corresponding characteristic (eg, a numerical value, function, operation, or component such as a part). and does not exclude the presence of additional features.

본 문서에서, "A 또는 B," "A 또는/및 B 중 적어도 하나," 또는 "A 또는/및 B 중 하나 또는 그 이상" 등의 표현은 함께 나열된 항목들의 모든 가능한 조합을 포함할 수 있다. 예를 들면, "A 또는 B," "A 및 B 중 적어도 하나," 또는 "A 또는 B 중 적어도 하나"는, (1) 적어도 하나의 A를 포함, (2) 적어도 하나의 B를 포함, 또는(3) 적어도 하나의 A 및 적어도 하나의 B 모두를 포함하는 경우를 모두 지칭할 수 있다.In this document, expressions such as “A or B,” “at least one of A or/and B,” or “one or more of A or/and B” may include all possible combinations of the items listed together. . For example, "A or B," "at least one of A and B," or "at least one of A or B" means (1) includes at least one A, (2) includes at least one B; Or (3) it may refer to all cases including both at least one A and at least one B.

본 문서에서 사용된 "제1," "제2," "첫째," 또는 "둘째," 등의 표현들은 다양한 구성요소들을, 순서 및/또는 중요도에 상관없이 수식할 수 있고, 한 구성요소를 다른 구성요소와 구분하기 위해 사용될 뿐 해당 구성요소들을 한정하지 않는다. 예를 들면, 제1 사용자 기기와 제2 사용자 기기는, 순서 또는 중요도와 무관하게, 서로 다른 사용자 기기를 나타낼 수 있다. 예를 들면, 본 문서에 기재된 권리범위를 벗어나지 않으면서 제1 구성요소는 제2 구성요소로 명명될 수 있고, 유사하게 제 2 구성요소도 제1 구성요소로 바꾸어 명명될 수 있다.As used herein, expressions such as "first," "second," "first," or "second," may modify various elements, regardless of order and/or importance, and refer to one element. It is used only to distinguish it from other components, and does not limit the components. For example, the first user equipment and the second user equipment may represent different user equipment regardless of order or importance. For example, without departing from the scope of the rights described in this document, the first component may be named as the second component, and similarly, the second component may also be renamed as the first component.

어떤 구성요소(예: 제1 구성요소)가 다른 구성요소(예: 제2 구성요소)에 "(기능적으로 또는 통신적으로) 연결되어((operatively or communicatively) coupled with/to)" 있다거나 "접속되어(connected to)" 있다고 언급된 때에는, 상기 어떤 구성요소가 상기 다른 구성요소에 직접적으로 연결되거나, 다른 구성요소(예: 제3 구성요소)를 통하여 연결될 수 있다고 이해되어야 할 것이다. 반면에, 어떤 구성요소(예: 제1 구성요소)가 다른 구성요소(예: 제2 구성요소)에 "직접 연결되어" 있다거나 "직접 접속되어" 있다고 언급된 때에는, 상기 어떤 구성요소와 상기 다른 구성요소 사이에 다른 구성요소(예: 제3 구성요소)가 존재하지 않는 것으로 이해될 수 있다.A component (eg, a first component) is "coupled with/to (operatively or communicatively)" to another component (eg, a second component); When referring to "connected to", it will be understood that the certain element may be directly connected to the other element or may be connected through another element (eg, a third element). On the other hand, when it is said that a component (eg, a first component) is "directly connected" or "directly connected" to another component (eg, a second component), the component and the It may be understood that other components (eg, a third component) do not exist between other components.

본 문서에서 사용된 표현 "~하도록 구성된(또는 설정된)(configured to)"은 상황에 따라, 예를 들면, "~에 적합한(suitable for)," "~하는 능력을 가지는(having the capacity to)," "~하도록 설계된(designed to)," "~하도록 변경된(adapted to)," "~하도록 만들어진(made to)," 또는 "~ 를 할 수 있는(capable of)"과 바꾸어 사용될 수 있다. 용어 "~하도록 구성된(또는 설정된)"은 하드웨어적으로 "특별히 설계된(specifically designed to)" 것만을 반드시 의미하지 않을 수 있다. 대신, 어떤 상황에서는, "~하도록 구성된 장치"라는 표현은, 그 장치가 다른 장치 또는 부품들과 함께 "~할 수 있는" 것을 의미할 수 있다. 예를 들면, 문구 "A, B, 및 C를 수행하도록 구성된(또는 설정된)프로세서"는 해당 동작을 수행하기 위한 전용 프로세서(예: 임베디드 프로세서), 또는 메모리 장치에 저장된 하나 이상의 소프트웨어 프로그램들을 실행함으로써, 해당 동작들을 수행할 수 있는 범용 프로세서(generic-purpose processor)(예: CPU 또는 application processor)를 의미할 수 있다.The expression "configured to (or configured to)" as used in this document, depending on the context, for example, "suitable for," "having the capacity to ," "designed to," "adapted to," "made to," or "capable of." The term “configured (or configured to)” may not necessarily mean only “specifically designed to” in hardware. Instead, in some circumstances, the expression “a device configured to” may mean that the device is “capable of” with other devices or parts. For example, the phrase "a processor configured (or configured to perform) A, B, and C" refers to a dedicated processor (eg, an embedded processor) for performing the corresponding operations, or by executing one or more software programs stored in a memory device. , may mean a generic-purpose processor (eg, a CPU or an application processor) capable of performing corresponding operations.

본 문서에서 사용된 용어들은 단지 특정한 실시 예를 설명하기 위해 사용된 것으로, 다른 실시예의 범위를 한정하려는 의도가 아닐 수 있다. 단수의 표현은 문맥상 명백하게 다르게 뜻하지 않는 한, 복수의 표현을 포함할 수 있다. 기술적이거나 과학적인 용어를 포함해서 여기서 사용되는 용어들은 본 문서에 기재된 기술분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미를 가질 수 있다. 본 문서에 사용된 용어들 중 일반적인 사전에 정의된 용어들은, 관련 기술의 문맥상 가지는 의미와 동일 또는 유사한 의미로 해석될 수 있으며, 본 문서에서 명백하게 정의되지 않는 한, 이상적이거나 과도하게 형식적인 의미로 해석되지 않는다. 경우에 따라서, 본 문서에서 정의된 용어일지라도 본 문서의 실시 예들을 배제하도록 해석될 수 없다.Terms used in this document are only used to describe specific embodiments, and may not be intended to limit the scope of other embodiments. The singular expression may include the plural expression unless the context clearly dictates otherwise. Terms used herein, including technical or scientific terms, may have the same meanings as commonly understood by one of ordinary skill in the art described in this document. Among terms used in this document, terms defined in a general dictionary may be interpreted with the same or similar meaning as the meaning in the context of the related art, and unless explicitly defined in this document, ideal or excessively formal meanings is not interpreted as In some cases, even terms defined in this document cannot be construed to exclude embodiments of this document.

본 발명의 여러 실시예들의 각각 특징들이 부분적으로 또는 전체적으로 서로 결합 또는 조합 가능하며, 당업자가 충분히 이해할 수 있듯이 기술적으로 다양한 연동 및 구동이 가능하며, 각 실시예들이 서로에 대하여 독립적으로 실시 가능할 수도 있고 연관 관계로 함께 실시 가능할 수도 있다.Each feature of the various embodiments of the present invention may be partially or wholly combined or combined with each other, and as those skilled in the art will fully understand, technically various interlocking and driving are possible, and each embodiment may be implemented independently of each other, It may be possible to implement together in a related relationship.

이하, 첨부된 도면을 참조하여 본 발명의 다양한 실시예들을 상세히 설명한다.Hereinafter, various embodiments of the present invention will be described in detail with reference to the accompanying drawings.

도 1은 본 발명의 실시예에 따른 회로 검증을 위한 유사 회로 검색 시스템을 설명하기 위한 개략도이다. 1 is a schematic diagram for explaining a similar circuit search system for circuit verification according to an embodiment of the present invention.

도 1을 참조하면, 유사 회로 검색 시스템(100)은 유사 회로 검색 및 검색된 유사 회로에 대한 검증을 위한 사용자 인터페이스를 제공하는 사용자 장치(110) 및 유사 회로 검색 및 회로 검증에 관련된 다양한 서비스를 제공하는 서비스 제공 서버(120)를 포함한다. 여기서, 유사 회로 검색 및 검증을 위한 사용자 인터페이스는 유사 회로 검색 및 검증을 위한 프로그램 또는 애플리케이션 등에 관한 사용자 인터페이스일 수 있으나, 이에 한정되지 않는다.Referring to FIG. 1 , the similar circuit search system 100 provides a user device 110 that provides a user interface for searching for similar circuits and verifying the found similar circuits, and provides various services related to similar circuit search and circuit verification. and a service providing server 120 . Here, the user interface for searching and verifying the similar circuit may be a user interface related to a program or application for searching and verifying the similar circuit, but is not limited thereto.

먼저, 사용자 장치(110)는 유사 회로 검색 및 회로 검증을 위한 사용자 인터페이스를 제공하는 전자 장치로서, 이를 위한 프로그램이 설치된 스마트폰, 태블릿 PC(Personal Computer), 노트북 및/또는 PC 등 중 적어도 하나를 포함할 수 있다. 다양한 실시예에서 사용자 인터페이스는 프로그램뿐만 아니라 애플리케이션, 웹 브라우저 또는 위젯 등으로 제공될 수 있다.First, the user device 110 is an electronic device that provides a user interface for searching for similar circuits and verifying circuits, and uses at least one of a smartphone, a tablet PC (Personal Computer), a notebook computer, and/or a PC in which a program for this is installed. may include In various embodiments, the user interface may be provided not only as a program, but also as an application, a web browser, or a widget.

구체적으로, 사용자 장치(110)는 프로그램을 통해 유사 회로 검색 및 회로 검증을 위한 다양한 인터페이스 화면을 제공할 수 있다. 예를 들어, 다양한 인터페이스 화면은 사용자에 의해서 설계된 회로도를 나타내는 인터페이스 화면, 사용자에 의해서 선택되거나, 서비스 제공 서버(120)로부터 수신된 기준 회로 모델에 대응하는 유사 회로 모델을 검색하기 위한 인터페이스 화면, 검색된 유사 회로 모델을 기 설정된 검증 규칙에 따라 검증하기 위한 인터페이스 화면 및 검증 결과를 나타내는 인터페이스 화면 등 중 적어도 하나를 포함할 수 있다. 기준 회로 모델 및 유사 회로 모델에 대해서는 하기에서 상세하게 설명하도록 한다.Specifically, the user device 110 may provide various interface screens for similar circuit search and circuit verification through a program. For example, various interface screens include an interface screen representing a circuit diagram designed by a user, an interface screen for searching for a similar circuit model corresponding to a reference circuit model selected by the user or received from the service providing server 120 , the searched It may include at least one of an interface screen for verifying the similar circuit model according to a preset verification rule, an interface screen displaying a verification result, and the like. The reference circuit model and the similar circuit model will be described in detail below.

사용자 장치(110)는 이러한 인터페이스 화면을 통해서 대상 회로도를 획득하고, 획득된 대상 회로도에 대한 검색 및 검증을 수행할 수 있다. 여기서, 대상 회로도는 회로 설계 프로그램(예: spice) 등을 통해 생성된 회로도로서, 검색 및 검증을 위한 회로도일 수 있으나, 이에 한정되지 않는다.The user device 110 may obtain a target circuit diagram through such an interface screen, and search and verify the obtained target circuit diagram. Here, the target circuit diagram is a circuit diagram generated through a circuit design program (eg, spice), and may be a circuit diagram for search and verification, but is not limited thereto.

다양한 실시예에서 사용자 장치(110)는 획득된 대상 회로도를 서비스 제공 서버(120)로 제공하고, 서비스 제공 서버(120)에 의해서 수행된 검색 및 검증의 결과를 수신할 수도 있다. In various embodiments, the user device 110 may provide the obtained target circuit diagram to the service providing server 120 , and may receive the results of the search and verification performed by the service providing server 120 .

다음으로, 서비스 제공 서버(120)는 유사 회로 검색 및 회로 검증에 관련된 서비스를 제공하기 위한 다양한 연산을 수행하는 범용 컴퓨터, 랩탑 및/또는 클라우드 서버 등을 포함할 수 있다. Next, the service providing server 120 may include a general-purpose computer, laptop, and/or cloud server that performs various operations for providing services related to similar circuit search and circuit verification.

구체적으로, 서비스 제공 서버(120)는 유사 회로 검색 및 회로 검증을 위해 사용되는 다양한 데이터를 저장할 수 있다. 예를 들어, 다양한 데이터는 사용자에 의해서 설계된 적어도 하나의 회로도, 적어도 하나의 회로도에 대응하는 회로 모델, 및 회로 검색을 위해 사용되는 기준 회로 모델 등을 포함할 수 있으나, 이에 한정되지 않는다. Specifically, the service providing server 120 may store various data used for similar circuit search and circuit verification. For example, the various data may include at least one circuit diagram designed by a user, a circuit model corresponding to the at least one circuit diagram, and a reference circuit model used for circuit search, but is not limited thereto.

서비스 제공 서버(120)는 사용자 장치(110)의 요청에 따라 이러한 데이터를 사용자 장치(110)로 전달할 수 있다. The service providing server 120 may transmit such data to the user device 110 according to the request of the user device 110 .

다양한 실시예에서 서비스 제공 서버(120)는 이러한 데이터를 이용하여 유사 회로 검색 및 회로 검증을 수행하고, 이에 대한 결과 데이터를 사용자 장치(110)로 전달할 수 있다.In various embodiments, the service providing server 120 may perform a similar circuit search and circuit verification using such data, and transmit the result data to the user device 110 .

하기에서는 도 2를 참조하여 사용자 장치(110)에 대해서 보다 구체적으로 설명하도록 한다.Hereinafter, the user device 110 will be described in more detail with reference to FIG. 2 .

도 2는 본 발명의 실시예에 따른 사용자 장치의 개략적인 블록도이다.2 is a schematic block diagram of a user device according to an embodiment of the present invention.

도 2를 참조하면, 사용자 장치(200)는 통신부(210), 표시부(220), 저장부(230) 및 제어부(240)를 포함한다. 제시된 실시예에서 사용자 장치(200)는 도 1의 사용자 장치(110)를 의미할 수 있다.Referring to FIG. 2 , the user device 200 includes a communication unit 210 , a display unit 220 , a storage unit 230 , and a control unit 240 . In the presented embodiment, the user device 200 may refer to the user device 110 of FIG. 1 .

통신부(210)는 사용자 장치(200)가 외부 장치와 통신이 가능하도록 연결한다. 통신부(210)는 유/무선 통신을 이용하여 서비스 제공 서버(120)와 연결되어 회로 검색 및 회로 검증에 관련된 다양한 데이터를 송수신할 수 있다.The communication unit 210 connects the user device 200 to enable communication with an external device. The communication unit 210 may be connected to the service providing server 120 using wired/wireless communication to transmit/receive various data related to circuit search and circuit verification.

표시부(220)는 사용자에게 각종 콘텐츠(예: 텍스트, 이미지, 비디오, 아이콘, 배너 또는 심벌 등)를 표시할 수 있다. 구체적으로, 표시부(220)는 회로 검색 및 회로 검증에 관련된 다양한 인터페이스 화면을 표시할 수 있다. The display unit 220 may display various contents (eg, text, image, video, icon, banner or symbol, etc.) to the user. Specifically, the display unit 220 may display various interface screens related to circuit search and circuit verification.

다양한 실시예에서 표시부(220)는 터치스크린을 포함할 수 있으며, 예를 들면, 전자 펜 또는 사용자의 신체의 일부를 이용한 터치(touch), 제스처(gesture), 근접, 드래그(drag), 스와이프(swipe) 또는 호버링(hovering) 입력 등을 수신할 수 있다.In various embodiments, the display unit 220 may include a touch screen, for example, a touch, a gesture, a proximity, a drag, and a swipe using an electronic pen or a part of the user's body. A swipe or hovering input may be received.

저장부(230)는 유사 회로 검색 및 회로 검증을 위해 사용되는 다양한 데이터를 저장할 수 있다. 예를 들어, 저장부(230)는 회로 검색 및 회로 검증을 위한 프로그램을 실행하거나, 실행된 프로그램에 관한 다양한 인터페이스 화면을 표시하기 위해 사용되는 다양한 데이터를 저장할 수 있다.The storage 230 may store various data used for similar circuit search and circuit verification. For example, the storage 230 may store various data used to execute a program for circuit search and circuit verification, or to display various interface screens related to the executed program.

다양한 실시예에서 저장부(230)는 플래시 메모리 타입(flash memory type), 하드디스크 타입(hard disk type), 멀티미디어 카드 마이크로 타입(multimedia card micro type), 카드 타입의 메모리(예를 들어 SD 또는 XD 메모리 등), 램(Random Access Memory, RAM), SRAM(Static Random Access Memory), 롬(Read-Only Memory, ROM), EEPROM(Electrically Erasable Programmable Read-Only Memory), PROM(Programmable Read-Only Memory), 자기 메모리, 자기 디스크, 광디스크 중 적어도 하나의 타입의 저장매체를 포함할 수 있다. 사용자 장치(200)는 인터넷(internet)상에서 상기 저장부(230)의 저장 기능을 수행하는 웹 스토리지(web storage)와 관련되어 동작할 수도 있다.In various embodiments, the storage unit 230 includes a flash memory type, a hard disk type, a multimedia card micro type, and a card type memory (eg, SD or XD). memory, etc.), Random Access Memory (RAM), Static Random Access Memory (SRAM), Read-Only Memory (ROM), Electrically Erasable Programmable Read-Only Memory (EEPROM), Programmable Read-Only Memory (PROM) , a magnetic memory, a magnetic disk, and an optical disk may include at least one type of storage medium. The user device 200 may operate in relation to a web storage that performs the storage function of the storage unit 230 on the Internet.

제어부(240)는 통신부(210), 표시부(220), 및 저장부(230)와 동작 가능하게 연결되며, 유사 회로 검색 및 회로 검증을 위한 다양한 명령들을 수행할 수 있다. The control unit 240 is operatively connected to the communication unit 210 , the display unit 220 , and the storage unit 230 , and may perform various commands for similar circuit search and circuit verification.

구체적으로, 제어부(240)는 유사 회로 검색 및 회로 검증을 위한 프로그램을 실행하고, 실행된 프로그램에 관련된 인터페이스 화면을 표시부(220)를 통해 표시할 수 있다.Specifically, the control unit 240 may execute a program for similar circuit search and circuit verification, and display an interface screen related to the executed program through the display unit 220 .

제어부(240)는 대상 회로도를 획득하기 위한 인터페이스 화면을 표시하고, 인터페이스 화면을 통해 대상 회로도가 획득되면 대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성할 수 있다. 여기서, 대상 회로도는 회로 설계 프로그램을 통해서 생성된 회로도 또는 요청에 의해 서비스 제공 서버(120)로부터 제공된 회로도일 수 있으나, 이에 한정되지 않는다. The controller 240 may display an interface screen for obtaining the target circuit diagram, and when the target circuit diagram is obtained through the interface screen, the controller 240 may generate a plurality of target circuit models by modeling the target circuit diagram. Here, the target circuit diagram may be a circuit diagram generated through a circuit design program or a circuit diagram provided by the service providing server 120 upon request, but is not limited thereto.

대상 회로 모델은 적어도 하나의 시트(Sheet)를 포함하고, 각 시트는 대상 회로를 구성하는 회로 주요 인자(예: 파트(Part), 네트(Net), 및/또는 핀(Pin) 등) 중 파트 및/또는 핀을 포함하는 노드(node), 및 노드 간의 연결을 나타내는 에지(edge)를 포함할 수 있다. 여기서, 에지는 핀과 핀 사이의 연결된 네트에 대응될 수 있다. The target circuit model includes at least one sheet, and each sheet is a part of circuit main factors (eg, Part, Net, and/or Pin, etc.) constituting the target circuit. and/or a node including a pin, and an edge indicating a connection between the nodes. Here, the edge may correspond to a pin and a net connected between the pins.

제어부(240)는 기준 회로 모델을 결정하고, 복수의 대상 회로 모델에서 기준 회로 모델에 대응하는 유사 회로 모델을 검색할 수 있다. 여기서, 기준 회로 모델은 회로 검색을 위해 사용되는 회로 모델로서, 사용자 장치(200)를 통해서 사용자에 의해서 선택되거나, 요청에 따라 서비스 제공 서버(120)로부터 제공될 수 있으나, 이에 한정되지 않는다. The controller 240 may determine a reference circuit model and search for a similar circuit model corresponding to the reference circuit model from a plurality of target circuit models. Here, the reference circuit model is a circuit model used for circuit search, and may be selected by a user through the user device 200 or provided from the service providing server 120 according to a request, but is not limited thereto.

기준 회로 모델을 결정하기 위해 제어부(240)는 회로도를 구성하는 적어도 하나의 회로 중 선택된 회로를 모델링하여 기준 회로 모델을 생성하기 위한 인터페이스 화면을 표시할 수 있다. In order to determine the reference circuit model, the controller 240 may display an interface screen for generating the reference circuit model by modeling the selected circuit among at least one circuit constituting the circuit diagram.

이러한 인터페이스 화면을 통해 특정 회로가 선택되면 제어부(240)는 선택된 회로를 모델링하여 노드 및 에지로 구성된 회로 모델을 생성하고, 생성된 회로 모델을 기준 회로 모델로서 결정할 수 있다. 제어부(240)는 각 노드에 대응하는 회로 데이터를 생성하고, 기준 회로 모델 및 회로 데이터를 대응시켜 저장부(230)에 저장하거나, 기준 회로 모델 및 회로 데이터를 서비스 제공 서버(120)로 전달할 수 있다. When a specific circuit is selected through the interface screen, the controller 240 may model the selected circuit to generate a circuit model including nodes and edges, and determine the generated circuit model as a reference circuit model. The control unit 240 may generate circuit data corresponding to each node and store the reference circuit model and circuit data in correspondence with the storage unit 230 , or transmit the reference circuit model and circuit data to the service providing server 120 . there is.

회로 데이터는 각 노드에 대응하는 회로 주요 인자(예: 파트(part), 네트(net), 및/또는 핀(pin) 등)의 이름, 종류, 및/또는 메타 데이터 등을 포함하는 주요 인자 데이터, 주요 인자들 간의 연결 관계를 나타내는 연결 관계 데이터 및 주요 인자의 크기, 용량, 전압, 저항 및/또는 온도 단위 등에 따른 검증 기준값을 포함하는 검증 규칙 데이터를 포함할 수 있으나, 이에 한정되지 않는다. 이와 같이 생성된 회로 데이터는 회로 검색 및 회로 검증을 위해 이용될 수 있다.The circuit data is key factor data including the name, type, and/or meta data of a circuit key factor (eg, part, net, and/or pin, etc.) corresponding to each node. , connection relation data indicating a connection relationship between the main factors, and verification rule data including verification reference values according to the size, capacity, voltage, resistance and/or temperature unit of the main factors, but are not limited thereto. The circuit data generated in this way may be used for circuit search and circuit verification.

서비스 제공 서버(120)로 전달된 기준 회로 모델 및 회로 데이터는 서비스 제공 서버(120)의 저장부에 저장될 수 있다.The reference circuit model and circuit data transmitted to the service providing server 120 may be stored in a storage unit of the service providing server 120 .

다양한 실시예에서 회로 검색을 위해 제어부(240)는 서비스 제공 서버(120)로 기준 회로 모델을 요청하고, 서비스 제공 서버(120)로부터 기준 회로 모델 및 이에 대응하는 회로 데이터를 수신할 수도 있다. In various embodiments, for circuit search, the controller 240 may request a reference circuit model from the service providing server 120 , and receive the reference circuit model and circuit data corresponding thereto from the service providing server 120 .

제어부(240)는 복수의 대상 회로 모델에서 기준 회로 모델에 대응하는 유사 회로 모델을 검색하고, 검색된 유사 회로 모델을 나타내는 인터페이스 화면을 표시할 수 있다. The controller 240 may search for a similar circuit model corresponding to the reference circuit model from the plurality of target circuit models, and display an interface screen indicating the found similar circuit model.

유사 회로 모델을 검색하기 위해 제어부(240)는 복수의 대상 회로 모델 중 기준 회로 모델을 포함된 적어도 하나의 노드 및 에지와 적어도 일치하는 노드 및 에지를 갖는 대상 회로 모델을 검색할 수 있다. In order to search for a similar circuit model, the controller 240 may search for a target circuit model having a node and an edge that at least match at least one node and an edge including the reference circuit model among the plurality of target circuit models.

이를 위해 제어부(240)는 기준 회로 모델에 포함된 적어도 하나의 노드에서 기준 노드를 결정하고, 결정된 기준 노드와 일치하는 노드를 갖는 적어도 하나의 후보 회로 모델을 검색할 수 있다. 다시 말해서, 제어부(240)는 복수의 회로 모델 중 기준 노드와 일치하는 노드를 갖는 적어도 하나의 회로 모델을 검색하고, 검색된 적어도 하나의 회로 모델을 후보 회로 모델로서 결정할 수 있다. 예를 들어, 기준 회로 모델이 노드 1, 노드 2 및 노드 3을 포함하고, 노드 1이 기준 노드로서 결정되면 제어부(240)는 노드 1을 포함하는 적어도 하나의 회로 모델을 검색하고, 검색된 적어도 하나의 회로 모델을 후보 회로 모델로서 결정할 수 있다. To this end, the controller 240 may determine a reference node from at least one node included in the reference circuit model, and search for at least one candidate circuit model having a node that matches the determined reference node. In other words, the controller 240 may search for at least one circuit model having a node matching the reference node among the plurality of circuit models, and determine the found at least one circuit model as a candidate circuit model. For example, if the reference circuit model includes node 1, node 2, and node 3, and node 1 is determined as the reference node, the control unit 240 searches for at least one circuit model including node 1, and the searched at least one A circuit model of may be determined as a candidate circuit model.

제어부(240)는 적어도 하나의 후보 회로 모델 중 기준 노드와 연결된 적어도 하나의 다른 노드, 및 기준 노드와 적어도 하나의 다른 노드 사이의 연결을 나타내는 에지를 동일하게 갖는 후보 회로 모델을 유사 후보 회로 모델로서 결정할 수 있다. 예를 들어, 기준 회로 모델이 노드 1과 노드 2가 연결되고, 노드 1과 노드 3이 연결된 경우 제어부(240)는 노드 1을 포함하는 적어도 하나의 후보 회로 모델 중 노드 1과 연결된 노드 2, 및 노드 1과 연결된 노드 3을 포함하는 후보 회로 모델을 검색하고, 검색된 후보 회로 모델을 유사 회로 모델로서 결정할 수 있다.The control unit 240 selects, among the at least one candidate circuit model, at least one other node connected to the reference node, and a candidate circuit model having the same edge indicating the connection between the reference node and the at least one other node as a similar candidate circuit model. can decide For example, in the reference circuit model, when node 1 and node 2 are connected and node 1 and node 3 are connected, the controller 240 may control node 2 connected to node 1 among at least one candidate circuit model including node 1, and A candidate circuit model including the node 3 connected to the node 1 may be searched, and the searched candidate circuit model may be determined as a similar circuit model.

다양한 실시예에서 제어부(240)는 기준 회로 모델에 대응하여 기 설정된 회로 데이터를 기초로 유사 회로 모델에 대한 검증을 수행하고, 검증 결과를 나타내는 인터페이스 화면을 표시할 수 있다. 구체적으로, 제어부(240)는 유사 회로 모델의 각 노드에 대한 속성 데이터(즉, 부품 크기, 용량, 전압, 저항 및/또는 온도 단위 등)와 회로 데이터의 검증 규칙 데이터를 비교하여 일치 여부를 나타내는 데이터를 검증 결과 데이터로서 제공할 수 있다. In various embodiments, the controller 240 may verify the similar circuit model based on preset circuit data corresponding to the reference circuit model, and display an interface screen indicating the verification result. Specifically, the control unit 240 compares the attribute data (ie, component size, capacity, voltage, resistance and/or temperature unit, etc.) for each node of the similar circuit model with the verification rule data of the circuit data to indicate whether or not they match. The data may be provided as verification result data.

회로 모델을 구성하는 각 노드는 회로 주요 인자의 파트 및/또는 핀에 대응하므로, 각 노드의 속성값은 해당 파트 및/또는 핀의 검증 기준값을 의미할 수 있다. 제어부(240)는 기준 회로 모델을 구성하는 각 노드의 속성값과 유사 회로 모델을 구성하는 각 노드의 속성값이 일치하면 검증 성공으로 결정하고, 일치하지 않으면 검증 실패로 결정할 수 있다. Since each node constituting the circuit model corresponds to a part and/or pin of a circuit main factor, the attribute value of each node may mean a verification reference value of the corresponding part and/or pin. If the attribute value of each node constituting the reference circuit model matches the attribute value of each node constituting the similar circuit model, the controller 240 may determine that the verification succeeds, and if they do not match, determine the verification failure.

제어부(240)는 이와 같이 검증 성공(pass) 또는 검증 실패(fail)를 나타내는 검증 결과 데이터를 제공할 수 있다. 이때, 검증 결과 데이터는 유사 회로 모델의 각 노드에 대한 속성값 및 각 노드에 관련된 검증 기준값을 더 포함할 수도 있다.The controller 240 may provide verification result data indicating verification success (pass) or verification failure (fail) as described above. In this case, the verification result data may further include an attribute value for each node of the similar circuit model and a verification reference value related to each node.

다양한 실시예에서 제어부(240)는 대상 회로도에 대한 검증을 수행하고, 검증 결과를 나타내는 인터페이스 화면을 표시할 수 있다. 예를 들어, 제어부(240)는 적어도 하나의 회로 모델에 대한 검증 규칙 데이터를 이용하여 대상 회로도에 대한 검증 시뮬레이션을 수행할 수 있다. 제어부(240)는 적어도 하나의 회로 모델에 대한 검증 규칙 데이터를 생성하기 위한 인터페이스 화면을 제공할 수 있으며, 이러한 인터페이스 화면을 통해서 획득된 검증 규칙 데이터를 저장부(230)에 저장할 수 있다. In various embodiments, the controller 240 may verify the target circuit diagram and display an interface screen indicating the verification result. For example, the controller 240 may perform verification simulation on the target circuit diagram by using verification rule data for at least one circuit model. The controller 240 may provide an interface screen for generating verification rule data for at least one circuit model, and store the verification rule data obtained through the interface screen in the storage unit 230 .

다양한 실시예에서 서비스 제공 서버(120)에 의해서 회로 검색 및 회로 검증이 수행되는 경우 제어부(240)는 대상 회로도에 관한 회로 검색 및 회로 검증을 서비스 제공 서버(120)로 전달하고, 서비스 제공 서버(120)로부터 회로 검색 및 회로 검증 각각에 대한 결과 데이터를 수신할 수 있다. In various embodiments, when circuit search and circuit verification are performed by the service providing server 120, the controller 240 transmits the circuit search and circuit verification related to the target circuit diagram to the service providing server 120, and the service providing server ( 120) may receive result data for each of circuit search and circuit verification.

하기에서는 도 3을 참조하여 서비스 제공 서버(120)에 대해서 보다 구체적으로 설명하도록 한다.Hereinafter, the service providing server 120 will be described in more detail with reference to FIG. 3 .

도 3은 본 발명의 실시예에 따른 서비스 제공 서버의 개략적인 블록도이다.3 is a schematic block diagram of a service providing server according to an embodiment of the present invention.

도 3을 참조하면, 서비스 제공 서버(300)는 통신부(310), 저장부(320) 및 제어부(330)를 포함한다. 제시된 실시예에서 서비스 제공 서버(300)는 도 1의 서비스 제공 서버(120)를 의미할 수 있다.Referring to FIG. 3 , the service providing server 300 includes a communication unit 310 , a storage unit 320 , and a control unit 330 . In the presented embodiment, the service providing server 300 may refer to the service providing server 120 of FIG. 1 .

통신부(310)는 서비스 제공 서버(300)가 외부 장치와 통신이 가능하도록 연결한다. 통신부(310)는 유/무선 통신을 이용하여 사용자 장치(110)와 연결되어 유사 회로 검색 및 회로 검증에 관한 서비스를 제공하기 위한 다양한 데이터를 송수신할 수 있다. 구체적으로, 통신부(310)는 사용자 장치(110)로부터 유사 회로 검색 및 회로 검증에 관련된 요청을 수신하고, 이에 대한 응답을 사용자 장치(110)로 전달할 수 있다. The communication unit 310 connects the service providing server 300 to enable communication with an external device. The communication unit 310 may be connected to the user device 110 using wired/wireless communication to transmit/receive various data for providing services related to similar circuit search and circuit verification. Specifically, the communication unit 310 may receive a request related to a similar circuit search and circuit verification from the user device 110 , and transmit a response thereto to the user device 110 .

저장부(320)는 유사 회로 검색 및 회로 검증에 관한 서비스를 제공하기 위해 사용되는 다양한 데이터를 저장할 수 있다. 구체적으로, 저장부(320)는 적어도 하나의 회로도, 각 회로도를 모델링하여 생성된 복수의 회로 모델, 및 각 회로 모델에 대응하는 회로 데이터를 저장할 수 있다. 다양한 실시예에서 저장부(320)는 회로 검증을 위해 사용되는 검증 규칙(예: 사용자에 의해서 설정된 사용자 정의 규칙, 회로 설계 시 필수적으로 설계되는 회로 필수 인자에 대한 정보, 및/또는 각 회로 필수 인자의 검증 규칙 등)을 저장할 수 있다. The storage unit 320 may store various data used to provide services related to a similar circuit search and circuit verification. Specifically, the storage unit 320 may store at least one circuit diagram, a plurality of circuit models generated by modeling each circuit diagram, and circuit data corresponding to each circuit model. In various embodiments, the storage unit 320 may store a verification rule used for circuit verification (eg, a user-defined rule set by a user, information on essential circuit factors essential when designing a circuit, and/or each circuit essential factor). of verification rules, etc.) can be saved.

다양한 실시예에서 저장부(320)는 플래시 메모리 타입, 하드디스크 타입, 멀티미디어 카드 마이크로 타입, 카드 타입의 메모리(예를 들어 SD 또는 XD 메모리 등), 램, SRAM, 롬, EEPROM, PROM, 자기 메모리, 자기 디스크, 광디스크 중 적어도 하나의 타입의 저장매체를 포함할 수 있다. 서비스 제공 서버(300)는 인터넷 상에서 상기 저장부(320)의 저장 기능을 수행하는 웹 스토리지와 관련되어 동작할 수도 있다.In various embodiments, the storage unit 320 is a flash memory type, hard disk type, multimedia card micro type, card type memory (eg, SD or XD memory, etc.), RAM, SRAM, ROM, EEPROM, PROM, magnetic memory. , a magnetic disk, and an optical disk may include at least one type of storage medium. The service providing server 300 may operate in relation to the web storage that performs the storage function of the storage unit 320 on the Internet.

제어부(330)는 통신부(310), 및 저장부(320)와 동작 가능하게 연결되며, 유사 회로 검색 및 회로 검증에 관한 서비스를 제공하기 위한 다양한 명령들을 수행할 수 있다.The control unit 330 is operatively connected to the communication unit 310 and the storage unit 320 , and may perform various commands for providing services related to similar circuit search and circuit verification.

구체적으로, 제어부(330)는 사용자 장치(110)로부터 유사 회로 검색을 위해 사용되는 기준 회로 모델에 대한 요청을 수신하고, 요청에 따라 저장부(320)에 저장된 기준 회로 모델을 사용자 장치(110)로 전달할 수 있다. Specifically, the controller 330 receives a request for a reference circuit model used for a similar circuit search from the user device 110 , and transfers the reference circuit model stored in the storage unit 320 according to the request to the user device 110 . can be transmitted as

다양한 실시예에서 사용자 장치(110)로부터 유사 회로 모델을 검증하기 위해 사용되는 기준 회로 모델의 회로 데이터에 대한 요청이 수신되면 제어부(330)는 요청된 회로 데이터를 사용자 장치(110)로 전달할 수 있다.In various embodiments, when a request for circuit data of a reference circuit model used to verify a similar circuit model is received from the user device 110 , the controller 330 may transmit the requested circuit data to the user device 110 . .

제시된 실시예에서 서비스 제공 서버(300)는 사용자 장치(110)가 유사 회로 검색 및 회로 검증을 위해 사용되는 다양한 데이터를 저장하고, 사용자 장치(110)의 요청에 따라 관련 데이터를 제공하는 동작을 수행하는 것을 설명하였으나, 이에 한정되지 않는다. 다양한 실시예에서 서비스 제공 서버(300)가 유사 회로 검색 및 회로 검증을 수행하는 경우 제어부(330)는 사용자 장치(110)의 요청에 따라 유사 회로 검색 및 회로 검증을 수행하고, 이에 대한 결과를 사용자 장치(110)로 전달할 수 있다. 제어부(330)의 상세한 동작은 도 2에서 상술한 사용자 장치(200)의 제어부(240)의 동작과 적어도 동일할 수 있다. In the presented embodiment, the service providing server 300 stores various data used by the user device 110 for similar circuit search and circuit verification, and provides related data according to the request of the user device 110 . has been described, but is not limited thereto. In various embodiments, when the service providing server 300 performs a similar circuit search and circuit verification, the control unit 330 performs a similar circuit search and circuit verification at the request of the user device 110 , and returns the result to the user. may be transmitted to the device 110 . The detailed operation of the controller 330 may be at least the same as the operation of the controller 240 of the user device 200 described above with reference to FIG. 2 .

이와 같이 본 발명은 회로 모델링을 통해 회로 모델을 생성하고, 이를 이용하여 검증을 위한 회로를 검색함으로써, 회로도의 설계 품질을 검증하기 위해 소요되는 시간, 연산량 및 자원 소모량 등을 최소화할 수 있다.As described above, the present invention generates a circuit model through circuit modeling and searches for a circuit for verification using the circuit model, thereby minimizing the amount of time, computation, and resource consumption required to verify the design quality of the circuit diagram.

하기에서는 도 4를 참조하여 사용자 장치(110)에서의 회로 검증을 위한 유사 회로 검색 방법을 설명하도록 한다.Hereinafter, a similar circuit search method for circuit verification in the user device 110 will be described with reference to FIG. 4 .

도 4는 본 발명의 실시예에 따른 사용자 장치에서의 회로 검증을 위한 유사 회로 검색 및 이를 검증하기 위한 방법을 설명하기 위한 흐름도이다. 하기에서 서술하는 동작들은 도 2 사용자 장치(200)의 제어부(240)에 의해서 수행될 수 있다. 4 is a flowchart illustrating a similar circuit search for circuit verification in a user device and a method for verifying the same according to an embodiment of the present invention. The operations described below may be performed by the controller 240 of the user device 200 of FIG. 2 .

도 4를 참조하면, 사용자 장치(200)는 대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성한다(S400). 사용자 장치(200)는 기준 회로 모델을 결정하고(S410), 복수의 대상 회로 모델에서 기준 회로 모델에 대응하는 유사 회로 모델을 검색한다(S420). 사용자 장치(200)는 검색된 유사 회로 모델을 제공한다(S430). 사용자 장치(200)는 유사 회로 모델에 대한 검증을 수행한다(S440).Referring to FIG. 4 , the user device 200 generates a plurality of target circuit models by modeling the target circuit diagram ( S400 ). The user device 200 determines a reference circuit model ( S410 ), and searches for a similar circuit model corresponding to the reference circuit model from a plurality of target circuit models ( S420 ). The user device 200 provides the found similar circuit model (S430). The user device 200 verifies the similar circuit model (S440).

상술한 도 4에 관련된 상세한 동작을 도 5 및 도 6을 참조하여 설명하도록 한다.The detailed operation related to FIG. 4 described above will be described with reference to FIGS. 5 and 6 .

도 5는 본 발명의 실시예에 따른 대상 회로도를 모델링하는 방법을 설명하기 위한 예시도이고, 도 6은 본 발명의 실시예에 따른 유사 회로 모델을 검색하는 방법을 설명하기 위한 예시도이다.5 is an exemplary diagram for explaining a method for modeling a target circuit diagram according to an embodiment of the present invention, and FIG. 6 is an exemplary diagram for explaining a method for searching a similar circuit model according to an embodiment of the present invention.

도 5를 참조하면, 대상 회로도(500)는 4개의 파트 (510, 515, 520, 525) 및 4개의 네트(505, 530, 535, 540)를 포함한다. 사용자 장치(200)는 이러한 대상 회로도(500)를 모델링하여 5개의 노드(550, 555, 560, 565, 570, 575) 및 노드 간의 연결 관계를 나타내는 에지들(580, 585)을 포함하는 대상 회로 모델(545)을 생성할 수 있다. Referring to FIG. 5 , the target circuit diagram 500 includes four parts 510 , 515 , 520 , 525 and four nets 505 , 530 , 535 , 540 . The user device 200 models the target circuit diagram 500 to model the target circuit including five nodes 550 , 555 , 560 , 565 , 570 , 575 and edges 580 and 585 indicating a connection relationship between the nodes. A model 545 may be created.

기준 회로 모델을 결정하기 위해 사용자 장치(200)는 기 저장된 기준 회로 모델을 선택하거나, 기준 회로 모델을 저장하는 서비스 제공 서버(120)로 기준 회로 모델을 요청하고, 서비스 제공 서버(120)로부터 기준 회로 모델 및 기준 회로 모델에 대한 회로 데이터를 수신할 수 있다.In order to determine the reference circuit model, the user device 200 selects a pre-stored reference circuit model or requests the reference circuit model from the service providing server 120 that stores the reference circuit model, and receives the reference from the service providing server 120 . Circuit data for the circuit model and the reference circuit model may be received.

기준 회로 모델을 선택하기 위해 사용자 장치(200)는 기준 회로 모델을 생성하고, 생성된 기준 회로 모델을 저장하는 동작이 먼저 수행할 수 있다. In order to select the reference circuit model, the user device 200 may first generate the reference circuit model and store the generated reference circuit model.

기준 회로 모델을 생성하기 위해 사용자 장치(200)는 적어도 하나의 회로 중 선택된 회로를 모델링하여 기준 회로 모델을 생성하기 위한 인터페이스 화면을 제공할 수 있다. 인터페이스 화면을 통해서 회로가 선택되면 사용자 장치(200)는 선택된 회로를 모델링하여 기준 회로 모델을 생성할 수 있다. 사용자 장치(200)는 기준 회로 모델에 대한 회로 데이터를 생성하고, 기준 회로 모델 및 회로 데이터를 대응시켜 저장할 수 있다. In order to generate the reference circuit model, the user device 200 may provide an interface screen for generating the reference circuit model by modeling a selected circuit among at least one circuit. When a circuit is selected through the interface screen, the user device 200 may generate a reference circuit model by modeling the selected circuit. The user device 200 may generate circuit data for the reference circuit model and store the reference circuit model and circuit data in correspondence with each other.

복수의 대상 회로 모델에서 기준 회로 모델에 대응하는 유사 회로 모델을 검색하기 위해 사용자 장치(200)는 기준 회로 모델을 구성하는 복수의 노드 중 기준 노드를 결정하고, 복수의 대상 회로 모델 중 결정된 기준 노드와 동일한 노드를 갖는 대상 회로 모델을 검색한다. In order to search for a similar circuit model corresponding to the reference circuit model from the plurality of target circuit models, the user device 200 determines a reference node from among a plurality of nodes constituting the reference circuit model, and determines the determined reference node from among the plurality of target circuit models. Search for the target circuit model with the same node as .

이에 대해서 구체적으로 설명하기 위해 도 6을 참조하면, 도 6의 (a)는 기준 회로 모델(600)을 나타낸다. 사용자 장치(200)는 기준 회로 모델을 구성하는 노드 A, B, C, D, E, F 중 노드 A를 기준 노드로 결정할 수 있다. 이러한 경우 사용자 장치(200)는 노드 A와 동일한 노드를 갖는 대상 회로 모델을 검색할 수 있다. 검색된 대상 회로 모델은 도 6의 (b) 및 (c)와 같이 나타낼 수 있다. 이후 사용자 장치(200)는 노드 A와 연결된 노드 B, 노드 B와 연결된 노드 C, 노드 D, 노드 E 및 노드 F 사이의 연결 관계 등을 고려하여 적어도 일치하는 유사 회로 모델을 결정할 수 있다. 다시 말해서, 사용자 장치(200)는 노드의 종류, 개수 및 에지의 개수 등을 고려하여 기준 회로 모델과 대상 노드 모델의 노드의 종류 및 개수가 일치하거나 그 이상이고, 에지의 개수가 일치하거나 그 이상이면 해당 대상 노드를 기준 회로 모델의 유사 회로 모델로서 결정할 수 있다.Referring to FIG. 6 to describe this in detail, FIG. 6A shows a reference circuit model 600 . The user device 200 may determine the node A among nodes A, B, C, D, E, and F constituting the reference circuit model as the reference node. In this case, the user device 200 may search for a target circuit model having the same node as node A. The searched target circuit model may be represented as shown in FIGS. 6 (b) and (c). Thereafter, the user device 200 may determine at least a matching similar circuit model in consideration of the node B connected to the node A, the node C connected to the node B, the connection relationship between the node D, the node E, and the node F. In other words, in consideration of the type and number of nodes, the number of edges, etc., the type and number of nodes of the reference circuit model and the target node model are identical or greater, and the number of edges is identical or greater. , the corresponding target node may be determined as a similar circuit model of the reference circuit model.

이러한 경우 도 6의 (b)와 같은 회로 모델은 노드 E와 연결된 노드 G가 추가로 포함되지만 이를 제외한 노드 A 내지 노드 F를 포함하고(노드의 종류 및 개수가 일치), 에지의 개수가 일치하므로, 유사 회로 모델로서 결정될 수 있다. In this case, the circuit model as shown in (b) of FIG. 6 additionally includes a node G connected to the node E, but includes nodes A to F except this (the type and number of nodes match), and the number of edges is the same. , can be determined as a similar circuit model.

도 6의 (c)와 같은 회로 모델은 노드 E 및 노드 E와 연관된 에지들을 포함하지 않으므로, 기준 회로 모델의 노드의 종류 및 개수와 일치하지 않아 검색에서 제외될 수 있다.Since the circuit model of FIG. 6C does not include the node E and the edges associated with the node E, it does not match the type and number of nodes of the reference circuit model, and thus may be excluded from the search.

유사 회로 모델의 검색 속도를 개선하기 위해 사용자 장치(200)는 유사 회로 모델을 포함할 가능성이 있는 대상 후보군을 추출하고, 추출된 대상 후보군에서 유사 회로 모델을 검색할 수 있다. 대상 후보군을 추출하기 위해 사용자 장치(200)는 가지치기 알고리즘(Pruning) 또는 백트래킹 알고리즘(Backtracking)을 이용할 수 있으나, 이에 한정되지 않으며, 대상 후보군을 추출하기 위한 다양한 알고리즘이 이용될 수 있다.In order to improve the search speed of the similar circuit model, the user device 200 may extract a target candidate group that may include the similar circuit model and search the similar circuit model from the extracted target candidate group. In order to extract the target candidate group, the user device 200 may use a pruning algorithm or a backtracking algorithm, but is not limited thereto, and various algorithms for extracting the target candidate group may be used.

예를 들어, 사용자 장치(200)는 기준 노드인 노드 A를 포함하는 적어도 하나의 후보 회로 모델 중 기준 회로 모델과 동일한 그래프 형태를 갖는 후보 회로 모델들의 조합을 대상 후보군으로서 추출할 수 있다. 이와 같이 추출된 대상 후보군에서 유사 회로 모델을 검색할 경우 보다 적은 수의 후보 회로 모델에서의 검색이 수행되므로, 검색 속도를 높이면서 검색 연산량을 줄일 수 있다. For example, the user device 200 may extract, as a target candidate group, a combination of candidate circuit models having the same graph form as the reference circuit model among at least one candidate circuit model including the node A, which is the reference node. When a similar circuit model is searched from the target candidate group extracted as described above, a smaller number of candidate circuit models are searched, thereby increasing the search speed and reducing the amount of search operation.

하기에서는 유사 회로 검색 및 회로 검증에 관련된 다양한 인터페이스 화면을 도 7 내지 도 10을 참조하여 설명하도록 한다.Hereinafter, various interface screens related to similar circuit search and circuit verification will be described with reference to FIGS. 7 to 10 .

도 7 내지 도 10은 본 발명의 실시예에 따른 유사 회로 검색 및 회로 검증에 관련된 다양한 인터페이스 화면을 나타내는 예시도들이다. 제시된 실시예에서 다양한 인터페이스 화면은 사용자 장치(200)의 표시부(220)를 통해서 표시될 수 있다.7 to 10 are exemplary views illustrating various interface screens related to a similar circuit search and circuit verification according to an embodiment of the present invention. In the presented embodiment, various interface screens may be displayed through the display unit 220 of the user device 200 .

도 7을 참조하면, 사용자 장치(200)는 유사 회로 검색 및 회로 검증을 위한 인터페이스 화면(700)을 표시할 수 있다. 구체적으로, 인터페이스 화면(700)은 유사 회로 검색 및 회로 검증을 위해 사용되는 복수의 기능에 대응하는 그래픽 객체들(710) 및 각 그래픽 객체에 해당하는 기능에 관련된 표시 영역(720)을 포함할 수 있다.Referring to FIG. 7 , the user device 200 may display an interface screen 700 for similar circuit search and circuit verification. Specifically, the interface screen 700 may include graphic objects 710 corresponding to a plurality of functions used for similar circuit search and circuit verification, and a display area 720 related to a function corresponding to each graphic object. there is.

복수의 기능에 대응하는 그래픽 객체들(710)은 회로도를 불러와서 표시하기 위한 제1 그래픽 객체(예: 회로도면 열기), 회로 검증을 위해 사용되는 검증 규칙 데이터를 관리하기 위한 제2 그래픽 객체(예: Rule DB 관리), 회로를 구성하는 회로 주요 인자에 대한 정보를 나타내기 위한 제3 및 제4 그래픽 객체(예: 부품 정보, 제어기 정보), 기준 회로 모델과 유사한 회로 모델로서 검색된 결과를 제공하기 위한 제5 그래픽 객체(예: DRC(Design Rule Check) 및 회로 설계를 위한 제6 그래픽 객체(예: Spice 실행) 등 중 적어도 하나를 포함할 수 있다. The graphic objects 710 corresponding to the plurality of functions include a first graphic object (eg, opening a circuit diagram) for calling and displaying a circuit diagram, and a second graphic object for managing verification rule data used for circuit verification ( Example: Rule DB management), the 3rd and 4th graphic objects (eg parts information, controller information) for displaying information on the main factors of the circuit composing the circuit, and providing the search results as a circuit model similar to the reference circuit model It may include at least one of a fifth graphic object (eg, design rule check (DRC)) and a sixth graphic object (eg, execution of Spice) for circuit design.

제1 그래픽 객체(730)가 선택되면 사용자 장치(200)는 회로도를 구성하는 각 회로의 회로 주요 인자에 관한 목록을 나타내는 제1 영역(740), 각 회로 주요 인자에 대한 이름, 종류, 분류 및 전압 등의 상세 정보를 나타내는 제2 영역(750) 및 회로도를 나타내는 제3 영역(760)을 표시 영역(720)에 표시할 수 있다. 예를 들어, 상세 정보는 사용자에 의해 목록에서 특정 회로 인자(770)가 선택되는 경우 표시될 수 있다. 다양한 실시예에서 상세 정보는 제3 영역(760)에 표시된 회로도에서 특정 회로 인자가 선택되는 경우 표시될 수도 있다.When the first graphic object 730 is selected, the user device 200 displays a first area 740 indicating a list of circuit major factors of each circuit constituting the circuit diagram, a name, type, classification, and A second area 750 representing detailed information such as voltage and a third area 760 representing a circuit diagram may be displayed on the display area 720 . For example, detailed information may be displayed when a specific circuit factor 770 is selected from the list by the user. In various embodiments, detailed information may be displayed when a specific circuit factor is selected from the circuit diagram displayed in the third area 760 .

제3 영역(760)에 표시된 회로도에서 특정 회로(780)가 선택되고, 선택된 특정 회로(780)를 기준 회로 모델로 설정하기 위한 요청이 있으면 사용자 장치(200)는 특정 회로(780)를 모델링하여 기준 회로 모델을 생성하고, 생성된 기준 회로 모델에 대응하는 회로 모델을 생성할 수 있다. 이와 같이 생성된 기준 회로 모델 및 회로 데이터는 사용자 장치(200)에 저장되거나, 서비스 제공 서버(120)로 전달하여 서비스 제공 서버(120)에 저장되도록 할 수 있다. When a specific circuit 780 is selected from the circuit diagram displayed in the third area 760 and there is a request to set the selected specific circuit 780 as a reference circuit model, the user device 200 models the specific circuit 780 to A reference circuit model may be generated, and a circuit model corresponding to the generated reference circuit model may be generated. The generated reference circuit model and circuit data may be stored in the user device 200 or may be transmitted to the service providing server 120 to be stored in the service providing server 120 .

사용자 장치(200)는 회로 검색 및 회로 검증을 위한 요청에 따라 대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성하고, 상술한 바와 같이 저장된 기준 회로 모델을 이용하여 복수의 대상 회로 모델에서 유사 회로 모델을 검색할 수 있다. 제시된 실시예에서는 선택된 기준 회로 모델이 도 7에 도시된 회로(780)인 경우를 설명하도록 한다.The user device 200 generates a plurality of target circuit models by modeling a target circuit diagram according to a request for circuit search and circuit verification, and similar circuit models from the plurality of target circuit models using the stored reference circuit model as described above. can be searched for. In the presented embodiment, a case in which the selected reference circuit model is the circuit 780 shown in FIG. 7 will be described.

구체적으로, 사용자 장치(200)는 기준 회로 모델을 구성하는 적어도 하나의 노드 중 기준 노드를 선택하고, 복수의 대상 회로 모델 중, 선택된 기준 노드와 일치하는 노드를 포함하는 적어도 하나의 대상 회로 모델을 검색할 수 있다. 사용자 장치(200)는 이와 같이 검색된 적어도 하나의 대상 회로 모델에서 노드의 종류, 개수 및/또는 노드 사이에 위치한 에지의 개수 등을 고려하여 유사 회로 모델을 검색할 수 있다.Specifically, the user device 200 selects a reference node from among at least one node constituting the reference circuit model, and selects at least one target circuit model including a node matching the selected reference node from among a plurality of target circuit models. You can search. The user device 200 may search for a similar circuit model in consideration of the type and number of nodes and/or the number of edges located between the nodes in the at least one target circuit model searched in this way.

사용자 장치(200)는 도 8과 같이 기준 회로 모델을 정의 및 관리하기 위한 인터페이스 화면(800)을 표시할 수 있다. 도 8을 참조하면 인터페이스 화면(800)은 기준 회로 모델을 표시하기 위한 제1 영역(810), 각 회로에 포함된 회로 주요 인자를 나타내는 제2 영역(예: 부품 목록)(820), 회로 주요 인자의 검증 규칙을 나타내는 제3 영역(830), 및 기준 회로 및 검증 기준 목록을 관리하기 위한 제4 영역(예: MCU 블록 및 사용자 정보 Rule)(840)을 포함할 수 있다.The user device 200 may display an interface screen 800 for defining and managing a reference circuit model as shown in FIG. 8 . Referring to FIG. 8 , the interface screen 800 includes a first area 810 for displaying a reference circuit model, a second area (eg, a list of parts) 820 indicating major circuit factors included in each circuit, and a main circuit It may include a third area 830 indicating the factor verification rule, and a fourth area (eg, MCU block and user information rule) 840 for managing the reference circuit and the verification reference list.

제2 영역(820)은 표시된 회로 주요 인자를 생성 또는 삭제하기 위한 그래픽 객체를 포함할 수 있다. 이를 통해 사용자는 회로 주요 인자를 생성 또는 삭제함으로써, 회로 기준이 재정의될 수 있다.The second area 820 may include a graphic object for generating or deleting the displayed main circuit factor. Through this, the user may create or delete a circuit key factor, thereby redefining the circuit reference.

제2 영역(820)에 표시된 회로 주요 인자가 선택되면 사용자 장치(200)는 선택된 회로 주요 인자에 관련된 검증 대상 조건 및 검증 항목을 제3 영역(830)에 표시할 수 있다.When the circuit major factor displayed in the second area 820 is selected, the user device 200 may display a verification target condition and verification item related to the selected circuit major factor in the third area 830 .

제3 영역(830)은 표시된 회로 검사 항목을 생성 및 삭제하기 위한 그래픽 객체를 포함할 수 있다. 이를 통해 사용자는 회로 검사 항목을 생성 및 삭제함으로써, 회로 기준 검증 규칙이 생성될 수 있다. 여기서, 사용된 검증 규칙은 사용자에 의해서 설정된 사용자 정의 규칙, 기준 회로 모델의 검증 규칙 및 특정 회로에 관하여 일반적으로 사용되는 검증 규칙 등 중 적어도 하나를 포함할 수 있으나, 이에 한정되지 않으며, 회로 검증을 위한 다양한 검증 규칙이 이용될 수 있다.The third area 830 may include a graphic object for creating and deleting the displayed circuit test item. Through this, the user creates and deletes circuit check items, so that a circuit reference verification rule can be created. Here, the used verification rule may include at least one of a user-defined rule set by a user, a verification rule of a reference circuit model, and a verification rule generally used with respect to a specific circuit, but is not limited thereto, and circuit verification is performed. Various verification rules for this purpose may be used.

사용자 장치(200)는 도 9와 같이 기준 회로에 맞는 유사 회로 모델을 검색하고, 이에 대한 검증 결과를 나타내는 인터페이스 화면(900)을 표시할 수 있다. 도 9를 참조하면, 인터페이스 화면(900)은 유사 회로 모델 검색에 대응하여 검색된 회로를 나타내는 표시 영역(910)을 포함할 수 있다.As shown in FIG. 9 , the user device 200 may search for a similar circuit model matching the reference circuit and display the interface screen 900 indicating the verification result. Referring to FIG. 9 , the interface screen 900 may include a display area 910 indicating a circuit found in response to a similar circuit model search.

도 7에서 상술한 바와 같이 기준 회로 모델과 유사한 회로 모델로서 검색된 결과를 제공하기 위한 제5 그래픽 객체(예: DRC 실행)(920)가 선택되면 사용자 장치(200)는 기준 회로 모델과 유사한 유사 회로 모델로서 검색된 결과를 나타내는 회로 검증 결과 영역(930) 및 검색된 회로들(940, 950, 960)을 더 표시할 수 있다.As described above in FIG. 7 , when a fifth graphic object (eg, DRC execution) 920 for providing a search result is selected as a circuit model similar to the reference circuit model, the user device 200 displays a circuit similar to the reference circuit model. As a model, the circuit verification result area 930 indicating the search result and the searched circuits 940 , 950 , and 960 may be further displayed.

다양한 실시예에서 사용자 장치(200)는 특정 회로도에 대한 검증 시뮬레이션을 수행하고, 도 10과 같이 검증 시뮬레이션 결과를 제공하기 위한 인터페이스 화면(1000)을 표시할 수 있다. 검증 시뮬레이션에 대한 수행은 도 10에서 검증 규칙에 기반하여 회로 검증을 하기 위한 그래픽 객체(1010)가 선택되면 수행될 수 있다.In various embodiments, the user device 200 may perform a verification simulation on a specific circuit diagram and display the interface screen 1000 for providing the verification simulation result as shown in FIG. 10 . The verification simulation may be performed when the graphic object 1010 for circuit verification is selected based on the verification rule in FIG. 10 .

도 10을 참조하면 인터페이스 화면(1000)은 특정 회로도를 나타내는 제1 영역(1020), 검증 규칙 목록을 나타내는 제2 영역(1030), 검증 결과에 대한 설명을 나타내는 제3 영역(1040) 및 검증에 대한 상세 결과를 나타내는 제4 영역(1050)을 포함할 수 있다. 이를 통해서 본 발명은 회로 검증을 위해 별도의 회로를 재설계해야 하는 번거로움을 없앨 수 있다.Referring to FIG. 10 , the interface screen 1000 includes a first area 1020 representing a specific circuit diagram, a second area 1030 representing a list of verification rules, a third area 1040 representing a description of a verification result, and verification. It may include a fourth area 1050 indicating a detailed result for . Through this, the present invention can eliminate the hassle of having to redesign a separate circuit for circuit verification.

제시된 실시예에서 유사 회로 검색 및 회로 검증에 관련된 다양한 인터페이스 화면 및 그래픽 객체의 구성은 상술한 내용으로 한정되지 않으며, 각 인터페이스 화면, 및 그래픽 객체들은 다양하게 구성될 수 있다. In the presented embodiment, the configuration of various interface screens and graphic objects related to similar circuit search and circuit verification is not limited to the above description, and each interface screen and graphic objects may be configured in various ways.

이를 통해서 본 발명은 회로 검증에 소요되는 시간과 실수 방지를 위해 툴 또는 프로그램이 회로를 자동으로 검증할 수 있고, 회로도의 설계 품질을 검증하기 위해 소요되는 시간 및 연산량을 최소화할 수 있다.Through this, according to the present invention, a tool or program can automatically verify a circuit in order to avoid mistakes and time required for circuit verification, and it is possible to minimize the amount of time and calculation required to verify the design quality of the circuit diagram.

본 발명의 실시예에 따른 장치 및 방법은 다양한 컴퓨터 수단을 통하여 수행될 수 있는 프로그램 명령 형태로 구현되어 컴퓨터 판독 가능 매체에 기록될 수 있다. 컴퓨터 판독 가능 매체는 프로그램 명령, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다.The apparatus and method according to an embodiment of the present invention may be implemented in the form of program instructions that can be executed through various computer means and recorded in a computer-readable medium. The computer-readable medium may include program instructions, data files, data structures, etc. alone or in combination.

컴퓨터 판독 가능 매체에 기록되는 프로그램 명령은 본 발명을 위하여 특별히 설계되고 구성된 것들이거나 컴퓨터 소프트웨어 분야 당업자에게 공지되어 사용 가능한 것일 수도 있다. 컴퓨터 판독 가능 기록 매체의 예에는 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체(magnetic media), CD-ROM, DVD와 같은 광기록 매체(optical media), 플롭티컬 디스크(floptical disk)와 같은 자기-광 매체(magneto-optical media) 및 롬(ROM), 램(RAM), 플래시 메모리 등과 같은 프로그램 명령을 저장하고 수행하도록 특별히 구성된 하드웨어 장치가 포함된다. 프로그램 명령의 예에는 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드를 포함한다.The program instructions recorded on the computer readable medium may be specially designed and configured for the present invention, or may be known and available to those skilled in the computer software field. Examples of the computer-readable recording medium include magnetic media such as hard disks, floppy disks and magnetic tapes, optical media such as CD-ROMs and DVDs, and magnetic such as floppy disks. - Includes magneto-optical media and hardware devices specially configured to store and execute program instructions, such as ROM, RAM, flash memory, and the like. Examples of program instructions include not only machine language codes such as those generated by a compiler, but also high-level language codes that can be executed by a computer using an interpreter or the like.

상술한 하드웨어 장치는 본 발명의 동작을 수행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.The hardware devices described above may be configured to operate as one or more software modules to perform the operations of the present invention, and vice versa.

이상 첨부된 도면을 참조하여 본 발명의 실시예들을 더욱 상세하게 설명하였으나, 본 발명은 반드시 이러한 실시예로 국한되는 것은 아니고, 본 발명의 기술사상을 벗어나지 않는 범위 내에서 다양하게 변형 실시될 수 있다. 따라서, 본 발명에 개시된 실시예들은 본 발명의 기술 사상을 한정하기 위한 것이 아니라 설명하기 위한 것이고, 이러한 실시예에 의하여 본 발명의 기술 사상의 범위가 한정되는 것은 아니다. 그러므로, 이상에서 기술한 실시예들은 모든 면에서 예시적인 것이며 한정적이 아닌 것으로 이해해야만 한다. 본 발명의 보호 범위는 아래의 청구범위에 의하여 해석되어야 하며, 그와 동등한 범위 내에 있는 모든 기술 사상은 본 발명의 권리범위에 포함되는 것으로 해석되어야 할 것이다.Although the embodiments of the present invention have been described in more detail with reference to the accompanying drawings, the present invention is not necessarily limited to these embodiments, and various modifications may be made within the scope without departing from the technical spirit of the present invention. . Accordingly, the embodiments disclosed in the present invention are not intended to limit the technical spirit of the present invention, but to explain, and the scope of the technical spirit of the present invention is not limited by these embodiments. Therefore, it should be understood that the embodiments described above are illustrative in all respects and not restrictive. The protection scope of the present invention should be construed by the following claims, and all technical ideas within the scope equivalent thereto should be construed as being included in the scope of the present invention.

100: 유사 회로 검색 시스템
110: 사용자 장치
120: 서비스 제공 서버100: similar circuit search system
110: user device
120: service providing server

Claims (16)

회로 검증을 위한 유사 회로 검색 장치에 의해서 수행되는 유사 회로 검색 방법에 있어서,
대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성하는 단계;
기준 회로 모델을 결정하는 단계;
상기 복수의 대상 회로 모델에서 상기 기준 회로 모델에 대응하는 유사 회로 모델을 검색하는 단계; 및
상기 검색된 유사 회로 모델을 제공하는 단계를 포함하는, 유사 회로 검색 방법.A similar circuit searching method performed by a similar circuit searching apparatus for circuit verification, the method comprising:
generating a plurality of target circuit models by modeling the target circuit diagram;
determining a reference circuit model;
searching for a similar circuit model corresponding to the reference circuit model in the plurality of target circuit models; and
and providing the retrieved similar circuit model. 제1항에 있어서, 상기 복수의 대상 회로 모델 각각은,
적어도 하나의 시트(sheet)를 포함하고,
상기 적어도 하나의 시트 각각은,
적어도 하나의 파트(part)에 해당하는 노드(node) 및 노드들 간의 연결을 나타내는 엣지(edge)를 포함하는, 유사 회로 검색 방법.According to claim 1, wherein each of the plurality of target circuit models,
at least one sheet;
Each of the at least one sheet,
A similar circuit search method, comprising: a node corresponding to at least one part; and an edge indicating a connection between the nodes. 제1항에 있어서, 상기 기준 회로 모델을 결정하는 단계는,
기 저장된 복수의 회로 모델 중 선택된 회로 모델을 기준 회로 모델로서 결정하는 단계인, 유사 회로 검색 방법. The method of claim 1 , wherein determining the reference circuit model comprises:
A similar circuit search method, comprising determining a circuit model selected from among a plurality of previously stored circuit models as a reference circuit model. 제1항에 있어서, 상기 기준 회로 모델을 결정하는 단계는,
복수의 회로 각각에 대응하는 회로 모델을 저장하는 서비스 제공 서버로부터 기준 회로 모델을 수신하는 단계인, 유사 회로 검색 방법.The method of claim 1 , wherein determining the reference circuit model comprises:
Receiving a reference circuit model from a service providing server that stores a circuit model corresponding to each of a plurality of circuits, a similar circuit search method. 제1항에 있어서, 상기 유사 회로 모델을 검색하는 단계는,
상기 복수의 대상 회로 모델 중 상기 기준 회로 모델에 포함된 적어도 하나의 노드 및 에지와 적어도 일치하는 노드 및 에지를 갖는 대상 회로 모델을 상기 유사 회로 모델로서 검색하는 단계인, 유사 회로 검색 방법.The method of claim 1, wherein the searching for the similar circuit model comprises:
and retrieving, as the similar circuit model, a target circuit model having nodes and edges matching at least one node and edge included in the reference circuit model among the plurality of target circuit models. 제5항에 있어서, 상기 유사 회로 모델로서 검색하는 단계는,
상기 기준 회로 모델에 포함된 적어도 하나의 노드에서 기준 노드를 결정하는 단계;
상기 기준 노드와 일치하는 노드를 갖는 적어도 하나의 후보 회로 모델을 검색하는 단계; 및
상기 검색된 적어도 하나의 후보 회로 모델 중 상기 기준 노드와 연결된 적어도 하나의 다른 노드, 및 상기 기준 노드와 상기 적어도 하나의 다른 노드 사이의 연결을 나타내는 에지를 동일하게 갖는 후보 회로 모델을 상기 유사 회로 모델로서 결정하는 단계를 포함하는, 유사 회로 검색 방법.6. The method of claim 5, wherein the step of retrieving as a similar circuit model comprises:
determining a reference node from at least one node included in the reference circuit model;
retrieving at least one candidate circuit model having a node matching the reference node; and
At least one other node connected to the reference node among the retrieved at least one candidate circuit model, and a candidate circuit model having the same edge indicating a connection between the reference node and the at least one other node as the similar circuit model A method for searching similar circuits, comprising determining. 제1항에 있어서,
기 설정된 검증 규칙에 기반하여 상기 검색된 유사 회로 모델에 대한 검증을 수행하는 단계; 및
상기 수행된 검증에 대한 검증 결과를 제공하는 단계를 더 포함하는, 유사 회로 검색 방법.According to claim 1,
performing verification on the found similar circuit model based on a preset verification rule; and
and providing a verification result for the performed verification. 제1항에 있어서,
상기 검색된 유사 회로 모델을 검증하는 단계를 더 포함하는, 유사 회로 검색 방법.According to claim 1,
and verifying the retrieved similar circuit model. 회로도를 저장하는 저장부;
데이터를 표시하도록 구성된 표시부; 및
상기 저장부 및 상기 표시부와 동작 가능하게 연결된 제어부를 포함하고,
상기 제어부는,
대상 회로도를 모델링하여 복수의 대상 회로 모델을 생성하고,
기준 회로 모델을 결정하고,
상기 복수의 대상 회로 모델에서 상기 기준 회로 모델에 대응하는 유사 회로 모델을 검색하고,
상기 검색된 유사 회로 모델을 제공하도록 구성되는, 회로 검증을 위한 유사 회로 검색 장치.a storage unit for storing the circuit diagram;
a display unit configured to display data; and
a control unit operatively connected to the storage unit and the display unit;
The control unit is
modeling the target circuit diagram to generate a plurality of target circuit models;
determine the reference circuit model;
retrieving a similar circuit model corresponding to the reference circuit model from the plurality of target circuit models;
and providing the retrieved similar circuit model. 제9항에 있어서, 상기 복수의 대상 회로 모델 각각은,
적어도 하나의 시트(sheet)를 포함하고,
상기 적어도 하나의 시트 각각은,
적어도 하나의 파트(part)에 해당하는 노드(node) 및 노드들 간의 연결을 나타내는 엣지(edge)를 포함하는, 유사 회로 검색 장치.The method of claim 9, wherein each of the plurality of target circuit models,
at least one sheet;
Each of the at least one sheet,
A similar circuit search apparatus, comprising: a node corresponding to at least one part; and an edge indicating a connection between the nodes. 제9항에 있어서, 상기 제어부는,
기 저장된 복수의 회로 모델 중 선택된 회로 모델을 기준 회로 모델로서 결정하도록 구성되는, 유사 회로 검색 장치. The method of claim 9, wherein the control unit,
A similar circuit search apparatus, configured to determine a circuit model selected from among a plurality of previously stored circuit models as a reference circuit model. 제9항에 있어서, 상기 제어부는,
복수의 회로 각각에 대응하는 회로 모델을 저장하는 서비스 제공 서버로부터 기준 회로 모델을 수신하도록 구성되는, 유사 회로 검색 장치.The method of claim 9, wherein the control unit,
A similar circuit retrieval apparatus, configured to receive a reference circuit model from a service providing server that stores a circuit model corresponding to each of a plurality of circuits. 제9항에 있어서, 상기 제어부는,
상기 복수의 대상 회로 모델 중 상기 기준 회로 모델에 포함된 적어도 하나의 노드 및 에지와 적어도 일치하는 노드 및 에지를 갖는 대상 회로 모델을 상기 유사 회로 모델로서 검색하도록 구성되는, 유사 회로 검색 장치.The method of claim 9, wherein the control unit,
and search, as the similar circuit model, a target circuit model having nodes and edges that at least match at least one node and edge included in the reference circuit model among the plurality of target circuit models. 제13항에 있어서, 상기 제어부는,
상기 기준 회로 모델에 포함된 적어도 하나의 노드에서 기준 노드를 결정하고,
상기 기준 노드와 일치하는 노드를 갖는 적어도 하나의 후보 회로 모델을 검색하고,
상기 검색된 적어도 하나의 후보 회로 모델 중 상기 기준 노드와 연결된 적어도 하나의 다른 노드, 및 상기 기준 노드와 상기 적어도 하나의 다른 노드 사이의 연결을 나타내는 에지를 동일하게 갖는 후보 회로 모델을 상기 유사 회로 모델로서 결정하도록 구성되는, 회로 검색 유사 장치.The method of claim 13, wherein the control unit,
determining a reference node from at least one node included in the reference circuit model;
retrieving at least one candidate circuit model having a node matching the reference node;
At least one other node connected to the reference node among the retrieved at least one candidate circuit model, and a candidate circuit model having the same edge indicating a connection between the reference node and the at least one other node as the similar circuit model A circuit retrieval similar device, configured to determine. 제9항에 있어서, 상기 제어부는,
기 설정된 검증 규칙에 기반하여 상기 검색된 유사 회로 모델에 대한 검증을 수행하고,
상기 수행된 검증에 대한 검증 결과를 제공하도록 구성되는, 유사 회로 검색 장치.The method of claim 9, wherein the control unit,
Verification of the found similar circuit model is performed based on a preset verification rule,
and provide a verification result for the performed verification. 제9항에 있어서, 상기 제어부는,
상기 검색된 유사 회로 모델을 검증하도록 구성되는, 유사 회로 검색 장치.The method of claim 9, wherein the control unit,
and verifying the retrieved similar circuit model.
KR1020200136500A 2020-10-21 2020-10-21 Similar circuit searching method and apparatus for verifing circuit KR102417677B1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020200136500A KR102417677B1 (en) 2020-10-21 2020-10-21 Similar circuit searching method and apparatus for verifing circuit

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020200136500A KR102417677B1 (en) 2020-10-21 2020-10-21 Similar circuit searching method and apparatus for verifing circuit

Publications (2)

Publication Number Publication Date
KR20220052494A true KR20220052494A (en) 2022-04-28
KR102417677B1 KR102417677B1 (en) 2022-07-07

Family

ID=81447035

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020200136500A KR102417677B1 (en) 2020-10-21 2020-10-21 Similar circuit searching method and apparatus for verifing circuit

Country Status (1)

Country Link
KR (1) KR102417677B1 (en)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05266119A (en) * 1992-03-17 1993-10-15 Mitsubishi Electric Corp Circuit analyzing device
JPH0628420A (en) * 1992-07-09 1994-02-04 Hitachi Ltd Circuit design verifying device
JP2000200298A (en) * 1998-06-09 2000-07-18 Matsushita Electric Ind Co Ltd Graph representation transforming method and its device, and automatic rearranging method and its device
JP2007128383A (en) * 2005-11-07 2007-05-24 Toyota Motor Corp Similar circuit retrieval device and its method

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05266119A (en) * 1992-03-17 1993-10-15 Mitsubishi Electric Corp Circuit analyzing device
JPH0628420A (en) * 1992-07-09 1994-02-04 Hitachi Ltd Circuit design verifying device
JP2000200298A (en) * 1998-06-09 2000-07-18 Matsushita Electric Ind Co Ltd Graph representation transforming method and its device, and automatic rearranging method and its device
JP2007128383A (en) * 2005-11-07 2007-05-24 Toyota Motor Corp Similar circuit retrieval device and its method

Also Published As

Publication number Publication date
KR102417677B1 (en) 2022-07-07

Similar Documents

Publication Publication Date Title
US7831929B2 (en) Method, system, and program product for controlling a display on a data editing screen
US10613707B2 (en) Auditing icons via image recognition to provide individualized assets to software project teams
US11611627B2 (en) Action flow fragment management
US20170168913A9 (en) Method and system for testing of applications in asset management software
US20190005030A1 (en) System and method for providing an intelligent language learning platform
JPWO2020008991A1 (en) Verification automation equipment, verification automation methods, and programs
CN105765564A (en) Identifying semantically-meaningful text selections
US20130326466A1 (en) Human Readable Software Program Test Step
US20170131973A1 (en) Software specification dependence relation verification apparatus and software specification dependence relation verification method
KR102604450B1 (en) Method and apparatus for storing log of access based on kewords
KR102417677B1 (en) Similar circuit searching method and apparatus for verifing circuit
KR101985491B1 (en) Result generating and monitoring apparatus using visualzation of formula with diagram mode
JP5790820B2 (en) Inconsistency detection apparatus, program and method, correction support apparatus, program and method
US20190265954A1 (en) Apparatus and method for assisting discovery of design pattern in model development environment using flow diagram
JP6805632B2 (en) Design prediction device, design prediction program and design prediction method
JP5321286B2 (en) Program model checking method, program model checking program
US9858374B1 (en) Method and system for displaying waveform results directly on a schematic
JP6496025B2 (en) Document processing system and document processing method
US20240232455A1 (en) Method and system for automatically suggesting an engineering tool
US12008387B2 (en) Targeting functionality for integrating an RPA bot with an application
WO2024090463A1 (en) Software configuration management data structure, software configuration management data creation assistance device, and software configuration management data creation assistance method
KR101784280B1 (en) System and method for testing graphical user interface automatically
KR20240044050A (en) Method, device and computer-readable recording medium for determining and displaying whether uploaded images are exposed
JP6603637B2 (en) User interface connection device and program
JP2011243137A (en) Reliability prediction input data generation device and reliability prediction input data generation program and recording medium

Legal Events

Date Code Title Description
E701 Decision to grant or registration of patent right