WEKO3
アイテム
{"_buckets": {"deposit": "219334cdfef74ecdad4069c672de09a9"}, "_deposit": {"id": "8592", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8592"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00008592", "sets": ["734"]}, "author_link": ["24190", "24191"], "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "20080325", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_64": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "20080325"}]}, "item_12_degree_grantor_62": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "名古屋大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "Nagoya University"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "13901", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_61": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(情報科学)", "subitem_degreename_language": "ja"}]}, "item_12_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Superconductive singlefluxquantum (SFQ) circuit technology attracts attention as a next generation technology of integrated circuits because of its ultrafast computation speed and low power consumption. In SFQ digital circuits, unlike CMOS digital circuits, a pulse is used as a carrier of information and the representation of the logic values is different from that in CMOS digital circuits. Therefore, design automation algorithms and structure of arithmetic circuits suitable for SFQ digital circuits are different from those for CMOS digital circuits. In addition, design of SFQ circuits has been carried out largely manually. For advancing studies of SFQ digital circuits, design automation algorithms which can design highperformance SFQ circuits are important. Furthermore, studies of circuit structure suitable for SFQ arithmetic circuits are also important for designing highperformance circuits. In this dissertation, several design automation algorithms and design of a multiplier which is one of the most important arithmetic circuits are proposed for SFQ digital circuits. In Chapter 1, the background and the outline of the dissertation are described. In Chapter 2, the basis of SFQ circuits and the representation of logic values for SFQ digital circuits are described. There are two methods of representation of the logic values. One is ‘dualrail representation’ in which “1” and “0” lines are used and the other is ‘synchronous clocking representation’ in which synchronizing clocks are used. In Chapter 3, a new method of logic synthesis for dualrail SFQ digital circuits are pro posed. For representing logic functions, a rootshared binary decision diagram (RSBDD) which is a directed acyclic graph constructed from binary decision diagrams is proposed. In the method, first an RSBDD is constructed from given logic functions, and then the number of nodes in the constructed RSBDD is reduced by variable reordering. Finally, a dualrail SFQ digital circuit is synthesized from the reduced RSBDD. The experimental results on benchmark circuits show that the proposed method synthesizes dualrail SFQ digital circuits that consist of about 27.1% fewer logic elements than those synthesized by a Transductionbased method on average. In Chapter 4, an algorithm for clock scheduling of synchronous clocking SFQ digital circuits is proposed. In synchronous clocking SFQ digital circuits, all logic gates are driven by clock pulses. Appropriate clock scheduling makes clock frequency of the circuits higher. Given a clock period, the proposed algorithm determines the arrival time of clock pulses of each gate and the delay that should be inserted. The experimental results on benchmark circuits show that inserted delay elements by the proposed algorithm are 59.0% fewer and the height of clock trees are 40.4% shorter on average than those by a straightforward algorithm. The proposed algorithm can also be used to minimize the clock period, thus obtaining 19.0% shorter clock periods on average. In Chapter 5, a synthesis method of sequential circuits is proposed for synchronous clocking SFQ digital circuits. Since all logic gates of synchronous clocking SFQ digital circuits are driven by a clock signal, synthesis methods of sequential circuits for CMOS digital circuits cannot derive the full power of highthroughput computation of SFQ circuit technology. In the method, a ‘state module’ consisting of a D flipflop (DFF) and several AND gates is used. First, states of a sequential machine are encoded by onehot encoding and state modules are assigned to the states one by one, and then, the modules are connected with each other according to the state transition. For the connection, confluence buffers (CBs), i.e., merger gates without clock signals are used. Consequently, gates driven by a clock signal are removed from its feedback loops, and therefore, a high throughput SFQ sequential circuit is achieved. The experimental results on benchmark circuits show that compared with a conventional method for CMOS digital circuits, the proposed method synthesizes circuits that work with 4.9 times higher clock frequency and have 17.3% more gates on average. In Chapter 6, an integer multiplier with systolic array structure is proposed for syn chronous clocking SFQ digital circuits. The systolic array is a circuit structure for VLSIs and consists of regularly arranged simple processing elements (PEs). For evaluating the proposed multiplier, a 4bit systolic multiplier and a 4bit array multiplier which is one of the most typical parallel multipliers are designed and compared with each other. The results of the design and a digital simulation show that the circuit area of the 4bit systolic multiplier is almost the half of that of the 4bit array multiplier, and the latency is about 1.5 times longer. Our estimation of the performance of larger scale multipliers shows that the proposed systolic multiplier achieves comparable latency to the array multiplier with extremely smaller circuit area when the bitwidth of input is large. A 1bit PE of the systolic multiplier is fabricated using NEC standard Nb process and successfully tested at low speed. In Chapter 7, conclusion and future works are stated. The knowledge obtained through the design automation algorithms will be bases of the development of computeraided design (CAD) systems for SFQ digital circuits. The result obtained through the study of the systolic multiplier is valuable knowledge for designing SFQ arithmetic circuits. Development of SFQspecific algorithms and methods makes the performance of SFQ digital circuits higher.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_12_description_5": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:平成20年3月25日", "subitem_description_language": "ja", "subitem_description_type": "Other"}]}, "item_12_dissertation_number_65": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第8025号"}]}, "item_12_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/10343"}]}, "item_12_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_12_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_12_text_63": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_text_value": "2007"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "小畑, 幸嗣", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "24190", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Obata, Koji", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24191", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "20180219"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "obata_doctor_thesis.pdf", "filesize": [{"value": "840.6 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 840600.0, "url": {"label": "obata_doctor_thesis.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/8592/files/obata_doctor_thesis.pdf"}, "version_id": "64e7a428892b4c6ea3865df4da3a28b2"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "Studies on Design Automation and Arithmetic Circuit Design for SingleFluxQuantum Digital Circuits", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Studies on Design Automation and Arithmetic Circuit Design for SingleFluxQuantum Digital Circuits", "subitem_title_language": "en"}]}, "item_type_id": "12", "owner": "1", "path": ["734"], "permalink_uri": "http://hdl.handle.net/2237/10343", "pubdate": {"attribute_name": "PubDate", "attribute_value": "20080811"}, "publish_date": "20080811", "publish_status": "0", "recid": "8592", "relation": {}, "relation_version_is_last": true, "title": ["Studies on Design Automation and Arithmetic Circuit Design for SingleFluxQuantum Digital Circuits"], "weko_shared_id": 1}
Studies on Design Automation and Arithmetic Circuit Design for SingleFluxQuantum Digital Circuits
http://hdl.handle.net/2237/10343
http://hdl.handle.net/2237/10343f0fba915354a43c4aaa6a871e26bfe97
名前 / ファイル  ライセンス  アクション 

obata_doctor_thesis.pdf (840.6 kB)


Item type  学位論文 / Thesis or Dissertation(1)  

公開日  20080811  
タイトル  
タイトル  Studies on Design Automation and Arithmetic Circuit Design for SingleFluxQuantum Digital Circuits  
言語  en  
著者 
小畑, 幸嗣
× 小畑, 幸嗣× Obata, Koji 

アクセス権  
アクセス権  open access  
アクセス権URI  http://purl.org/coar/access_right/c_abf2  
抄録  
内容記述  Superconductive singlefluxquantum (SFQ) circuit technology attracts attention as a next generation technology of integrated circuits because of its ultrafast computation speed and low power consumption. In SFQ digital circuits, unlike CMOS digital circuits, a pulse is used as a carrier of information and the representation of the logic values is different from that in CMOS digital circuits. Therefore, design automation algorithms and structure of arithmetic circuits suitable for SFQ digital circuits are different from those for CMOS digital circuits. In addition, design of SFQ circuits has been carried out largely manually. For advancing studies of SFQ digital circuits, design automation algorithms which can design highperformance SFQ circuits are important. Furthermore, studies of circuit structure suitable for SFQ arithmetic circuits are also important for designing highperformance circuits. In this dissertation, several design automation algorithms and design of a multiplier which is one of the most important arithmetic circuits are proposed for SFQ digital circuits. In Chapter 1, the background and the outline of the dissertation are described. In Chapter 2, the basis of SFQ circuits and the representation of logic values for SFQ digital circuits are described. There are two methods of representation of the logic values. One is ‘dualrail representation’ in which “1” and “0” lines are used and the other is ‘synchronous clocking representation’ in which synchronizing clocks are used. In Chapter 3, a new method of logic synthesis for dualrail SFQ digital circuits are pro posed. For representing logic functions, a rootshared binary decision diagram (RSBDD) which is a directed acyclic graph constructed from binary decision diagrams is proposed. In the method, first an RSBDD is constructed from given logic functions, and then the number of nodes in the constructed RSBDD is reduced by variable reordering. Finally, a dualrail SFQ digital circuit is synthesized from the reduced RSBDD. The experimental results on benchmark circuits show that the proposed method synthesizes dualrail SFQ digital circuits that consist of about 27.1% fewer logic elements than those synthesized by a Transductionbased method on average. In Chapter 4, an algorithm for clock scheduling of synchronous clocking SFQ digital circuits is proposed. In synchronous clocking SFQ digital circuits, all logic gates are driven by clock pulses. Appropriate clock scheduling makes clock frequency of the circuits higher. Given a clock period, the proposed algorithm determines the arrival time of clock pulses of each gate and the delay that should be inserted. The experimental results on benchmark circuits show that inserted delay elements by the proposed algorithm are 59.0% fewer and the height of clock trees are 40.4% shorter on average than those by a straightforward algorithm. The proposed algorithm can also be used to minimize the clock period, thus obtaining 19.0% shorter clock periods on average. In Chapter 5, a synthesis method of sequential circuits is proposed for synchronous clocking SFQ digital circuits. Since all logic gates of synchronous clocking SFQ digital circuits are driven by a clock signal, synthesis methods of sequential circuits for CMOS digital circuits cannot derive the full power of highthroughput computation of SFQ circuit technology. In the method, a ‘state module’ consisting of a D flipflop (DFF) and several AND gates is used. First, states of a sequential machine are encoded by onehot encoding and state modules are assigned to the states one by one, and then, the modules are connected with each other according to the state transition. For the connection, confluence buffers (CBs), i.e., merger gates without clock signals are used. Consequently, gates driven by a clock signal are removed from its feedback loops, and therefore, a high throughput SFQ sequential circuit is achieved. The experimental results on benchmark circuits show that compared with a conventional method for CMOS digital circuits, the proposed method synthesizes circuits that work with 4.9 times higher clock frequency and have 17.3% more gates on average. In Chapter 6, an integer multiplier with systolic array structure is proposed for syn chronous clocking SFQ digital circuits. The systolic array is a circuit structure for VLSIs and consists of regularly arranged simple processing elements (PEs). For evaluating the proposed multiplier, a 4bit systolic multiplier and a 4bit array multiplier which is one of the most typical parallel multipliers are designed and compared with each other. The results of the design and a digital simulation show that the circuit area of the 4bit systolic multiplier is almost the half of that of the 4bit array multiplier, and the latency is about 1.5 times longer. Our estimation of the performance of larger scale multipliers shows that the proposed systolic multiplier achieves comparable latency to the array multiplier with extremely smaller circuit area when the bitwidth of input is large. A 1bit PE of the systolic multiplier is fabricated using NEC standard Nb process and successfully tested at low speed. In Chapter 7, conclusion and future works are stated. The knowledge obtained through the design automation algorithms will be bases of the development of computeraided design (CAD) systems for SFQ digital circuits. The result obtained through the study of the systolic multiplier is valuable knowledge for designing SFQ arithmetic circuits. Development of SFQspecific algorithms and methods makes the performance of SFQ digital circuits higher.  
言語  en  
内容記述タイプ  Abstract  
内容記述  
内容記述  名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:平成20年3月25日  
言語  ja  
内容記述タイプ  Other  
言語  
言語  eng  
資源タイプ  
資源  http://purl.org/coar/resource_type/c_db06  
タイプ  doctoral thesis  
書誌情報 
発行日 20080325 

学位名  
言語  ja  
学位名  博士(情報科学)  
学位授与機関  
学位授与機関識別子Scheme  kakenhi  
学位授与機関識別子  13901  
言語  ja  
学位授与機関名  名古屋大学  
言語  en  
学位授与機関名  Nagoya University  
学位授与年度  
学位授与年度  2007  
学位授与年月日  
学位授与年月日  20080325  
学位授与番号  
学位授与番号  甲第8025号  
フォーマット  
application/pdf  
著者版フラグ  
値  publisher  
URI  
識別子  http://hdl.handle.net/2237/10343  
識別子タイプ  HDL 