• 제목/요약/키워드: boolean function

검색결과 84건 처리시간 0.018초

빈도수 기반 주 내포 항 선택과 삭제 알고리즘을 적용한 회로 최소화 (A Selection-Deletion of Prime Implicants Algorithm Based on Frequency for Circuit Minimization)

  • 이상운
    • 한국컴퓨터정보학회논문지
    • /
    • 제20권4호
    • /
    • pp.95-102
    • /
    • 2015
  • 본 논문은 회로 최소화 문제를 간단하게 풀 수 있는 알고리즘을 제안하였다. 회로 최소화 문제는 수기식 방법인 카르노 맵과 전산화가 가능한 휴리스틱 방법인 Quine-McCluskey 알고리즘이 있다. 그러나 Quine-McCluskey 알고리즘은 변수 개수 n이 증가하면 $3^n/n$의 메모리와 수행횟수가 요구되는 단점을 갖고 있다. 제안된 방법은 빈도수에 기반하여 내포 항 표를 이용하여 주어진 부울 함수의 최소 항을 포함하는 주 내포 항을 빠르게 추출하는 방법을 적용하였다. 추출된 주 내포 항들 중에서 중복 선택된 여분의 주 내포 항을 빈도수를 적용하여 제거하는 방법을 제안하였다. 제안된 알고리즘은 비록 변수 개수 n이 증가하여도 다항시간으로 회로를 최소화시킬 수 있는 해를 구할수 있는 장점을 갖고 있다. 제안된 알고리즘을 3-변수와 4-변수의 다양한 사례들에 적용한 결과 해를 빠르고 정확하게 구할 수 있었다.

논리함수처리에 의한 부분스캔순차회로의 테스트생성 (Test Generation for Partial Scanned Sequential Circuits Based on Boolean Function Manipulation)

  • 최호용
    • 한국정보처리학회논문지
    • /
    • 제3권3호
    • /
    • pp.572-580
    • /
    • 1996
  • 본 논문은 IPMT법에 부분스캔설계 방법을 적용하여, IPMT법의 적용 한계를 개선 한 순차회로의 테스트생성법에 관해 기술한다. IPMT법에서의 像계산(image computation) 시 방대한 계산량이 필요로한 문제점을 해결하기 위하여,부분스캔설계를 도입하여테스트 복잡도를 줄인 후 IPMT법으로 테스트생성을 한다. 부분스캔설계를 위한 스캔 플립플롭의 선택은 순차회로의 狀態 함수를 二分決定그래프가binary decision diagram) 로 표현했을 때의 노드의 크기 순으로 한다. 본 방법을 이용하여 ISCAS'89 벤치마크회로에 대해 실험 한 결과, 종래의 IPMT법 에서 100% 고장검출률을 얻을 수 없었던 s344, s420에 대해 20% 부분스캔으로 100%의 고장검출률을 얻었고, sl423에 대해서는 80%의 부분스캔으로 100% 고장검출률을 얻었다.

  • PDF

Cutting simulation을 이용한 End-milling cutter의 모델링 및 제작에 관한 연구 (End-mill Modeling and Manufacturing Methodology via Cutting simulation)

  • 김재현;박수정;김종한;박정환;고태조;김희술
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2005년도 추계학술대회 논문집
    • /
    • pp.456-463
    • /
    • 2005
  • This paper describes a design process of end-milling cutters: solid model of the designed cutter is constructed along with computation of cutter geometry, and the wheel geometry as well as wheel positioning data fur fabricating end-mills with required cutter geometry is calculated. In the process, the main idea is to use the cutting simulation method by which the machined shape of an end-milling cutter is obtained via Boolean operation between a given grinding wheel and a cylindrical workpiece (raw stock). Major design parameters of a cutter such as rake angle, inner radius can be verified by interrogating the section profile of its solid model. We studied relations between various dimensional parameters and proposed an iterative approach to obtain the required geometry of a grinding wheel and the CL data fer machining an end-milling cutter satisfying the design parameters. This research has been implemented on a commercial CAD system by use of the API function programming, and is currently used by a tool maker in Korea. It can eliminate producing a physical prototype during the design stage, and it can be used fur virtual cutting test and analysis as well.

  • PDF

단층 입력 구조의 Magnetic-Tunnel-Junction 소자를 이용한 임의의 3비트 논리회로 구현을 위한 자기논리 회로 설계 (Design of 3-bit Arbitrary Logic Circuit based on Single Layer Magnetic-Tunnel-Junction Elements)

  • 이현주;김소정;이승연;이승준;신형순
    • 대한전자공학회논문지SD
    • /
    • 제45권12호
    • /
    • pp.1-7
    • /
    • 2008
  • Magnetic Tunnel Junction (MTJ)는 비휘발성 소자로서 그간 기억소자분야에 국한되어왔으나, 최근 다양한 연구들에 의하여 자기논리 (magneto-logic) 회로에 사용되면서 기존 트랜지스터 기반의 논리연산자를 대체할 수 있는 가능성을 보이고 있으며, 논리회로까지 확장 적용되어 스핀전자공학 분야의 새로운 장을 열 것으로 기대되어지고 있다. 자체 저장 능력을 갖는 MTJ 소자로 구현된 자기논리 회로는 전원이 꺼져도 정보가 그대로 유지되고, 또한, 불 (Boolean) 연산 수행 시 단순한 입력변화만으로 다양한 논리 연산자 구현이 가능한 구조적인 유연성을 보이므로, 물리적으로 완성된 회로 내에서 얼마든지 재구성이 가능한 자기논리 회로를 구현할 수 있다. 본 논문에서는 단순한 조합논리나 순차논리 회로의 동작을 넘어서, 임의의 3비트 논리회로 동작을 모두 수행할 수 있는 자기논리 회로를 제안한다. 이를 위해 3비트 논리회로 중에서 최대의 복잡성을 갖는 논리회로를 MTJ 소자를 사용하여 설계하였고, 그 동작을 이전 논문에서 제안된 바 있는 macro-model을 보완 적용하여 검증하였다. 제안된 회로는 3비트로 구현할 수 있는 가장 복잡한 논리회로의 동작을 수행할 뿐만 아니라, 전류구동회로의 게이트 신호들을 변화시킴으로써 임의의 3비트 논리 회로의 동작을 모두 수행하는 것이 가능하다.