Heuristic State Reduction Methods of Incompletely Specified Machines Preceding to Satisfy Covering Condition(Special Section of Papers Selected from ITC-CSCC'97)
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents two kinds of simplication methods for incompletely specified sequential machines. The strategy of the methods is that as many states in original machines are covered in the simplification processes as possible. The purpose of the methods is to derive a simplified machine having either the largest maximal compatible set or its subset. With the methods, one of the minimal machines can not be always derived, but a near-minimal machine can be obtained more quickly with less memory, since they need not derive all the compatible sets. In this paper, the effectiveness of the methods is checked by applying them to simplication problems of incompletely specified machines generated by using random numbers, and of the MCNC benchmark machines. The experimental results show that our methods can derive a simplified machine quickly, especially for machines having a great number of states or don't care rate.
- 社団法人電子情報通信学会の論文
- 1998-06-25
著者
-
SHIMAMOTO Takashi
the Faculty of Engineering, Tokushima University
-
Shimamoto T
Shibuya Kogyo Co. Ltd. Kanazawa‐shi Jpn
-
Shimamoto T
Faculty Of Engineering The Univ. Of Tokushima
-
Shimamoto Takashi
The Faculty Of Engineering Tokushima University
-
HASHIZUME Masaki
Faculty of Engineering, The Univ. of Tokushima
-
TAMESADA Takeomi
Faculty of Engineering, The Univ. of Tokushima
-
HASHIZUME Masaki
the Faculty of Engineering, University of Tokushima
-
TAMESADA Takeomi
the Faculty of Engineering, University of Tokushima
-
SAKAMOTO Akio
the Department of Information Systems Engineering, Kochi University of Technology
-
Sakamoto A
Kochi Univ. Technol. Kochi‐ken Jpn
-
Sakamoto Akio
Department Of Information Systems Engineering Kochi Univ. Of Technology
-
Tamesada T
Faculty Of Engineering The Univ. Of Tokushima
-
Hashizume M
Faculty Of Engineering The Univ. Of Tokushima
関連論文
- Efficient Curve Fitting Technique for Analysis of Interconnect Networks with Frequency-Dpendent Parameteters (Section on VLSI Design and CAD Algorithms)
- Measurement Performance of Reagent Manufacturers by Centers for Disease Control and Prevention/Cholesterol Reference Method Laboratory Network Lipid Standardization Specified for Metabolic Syndrome-Focused Health Checkups Program in Japan
- Comparison of the Prevalence of Asymptomatic Carotid Atherosclerosis Detected by High-Resolution Ultrasonography in Rural and Urban Middle-Aged Japanese Men
- A Genetic Approach for Maximum Independent Set Problems (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
- A Modified Genetic Channel Router (Special Section on VLSI Design and CAD Algorithms)
- Genetic Channel Router (Special Section on the 6th Karuizawa Workshop on Circuits and Systems)
- Restrictive Channel Routing with Evolution Programs (Special Section on VLSI Design and CAD Algorithms)
- Relationship of Urinary cGMP Excretion with Aging and Menopausal Status in a General Population
- Establishment of Long-Term Monitoring System for Blood Chemistry Data by the National Health and Nutrition Survey in Japan
- Body Fat Distribution and the Risk of Hypertension and Diabetes among Japanese Men and Women
- Associations of Sleep-Disordered Breathing with Excessive Daytime Sleepiness and Blood Pressure in Japanese Women
- Establishment of External Quality Control Program for hs-CRP and Three-Year Follow-Up of the Performance for Precision and Accuracy
- Aldosterone Synthase Gene T−344C Polymorphism, Sodium and Blood Pressure in a Free-Living Population: A Community-Based Study
- PE-249 Trial for the Frequency of Brugada-type ECG in Population(ECG/Body surface potential mapping/Holter-5 (A) PE42,Poster Session (English),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Society)
- Trends in Dietary Intake of Folate, Vitamins B_6, and B_ among Japanese Adults in Two Rural Communities from 1974 through 2001
- Possible Effects of Diets on Serum Lipids, Fatty Acids and Blood Pressure Levels in Male and Female Japanese University Students
- Relationship between Sleep-Disordered Breathing and Blood Pressure Levels in Community-Based Samples of Japanese Men
- High Sodium Intake Strengthens the Association between Angiotensinogen T174M Polymorphism and Blood Pressure Levels among Lean Men and Women: a Community-Based Study
- Smoking Raises the Risk of Total and Ischemic Strokes in Hypertensive Men
- Differences in Dietary Habits, Serum Fatty Acid Compositions and Other Coronary Risk Characteristics between Freshmen and Fourth-year Male University Students
- Long-Term Prognosis after Stroke : A Community-Based Study in Japan
- Impact of Anger Expression on Blood Pressure Levels in White-Color Workers with Low-Coping Behavior
- Validity and Reliability of the Japanese Version of the Selected Anger Expression Scale and Age, Sex, Occupation and Regional Differences in Anger Expression Among Japanese
- Plasma Fibrinogen, Tissue Plasminogen Activator, Plasminogen Activator Inhibitor 1, and Their Related Factors in Three Japanese Population Samples
- Trends for Cardiovascular Risk Factors and Diseases in Japan
- Genetic State Reduction Method of Incompletely Specified Machines(Graphs and Networks)
- Heuristic State Reduction Methods of Incompletely Specified Machines Preceding to Satisfy Covering Condition(Special Section of Papers Selected from ITC-CSCC'97)
- An Approach to Channel Routing Using Genetic Algorithm
- IDDQ Test Time Reduction by High Speed Charging of Load Capacitors of CMOS Logic Gates(Special Issue on Test and Verification of VLSI)
- Lead Open Detection Based on Supply Current of CMOS LSIs(Papers Selected from 2003 International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC 2003))
- CMOS Open Defect Detection by Supply Current Measurement under Time-Variable Electric Field Supply(Special Issue on Test and Verification of VLSI)
- Identification and Frequency Estimation of Feedback Bridging Faults Generating Logical Oscillation in CMOS Circuits(Fault Detection)(Test and Verification of VLSI)
- Test Sequence Generation for Test Time Reduction of IDDQ Testing(Test Generation and Compaction)(Test and Verification of VLSI)
- Test Pattern Generation for CMOS Open Defect Detection by Supply Current Testing under AC Electric Field(Test)(Dependable Computing)
- Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States(Special Issue on Test and Verification of VLSI)
- Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States(Special Issue on Test and Verification of VLSI)
- Testable Static CMOS PLA for IDDQ Testing(Special Section on Papers Selected from ITC-CSCC 2000)
- Leukemic Phase of Intermediate Non-Hodgkin's Lymphoma with Cells Showing Different Matured Stages in Invaded Various Organs.