scholarly journals Functional Verification of Digital Systems Using Meta-Heuristic Algorithms

2018 ◽  
Author(s):  
Alfonso Martínez-Cruz ◽  
Ignacio Algredo-Badillo ◽  
Alejandro Medina- Santiago ◽  
Kelsey Ramírez-Gutiérrez ◽  
Prometeo Cortés-Antonio ◽  
...  
Keyword(s):  
Heuristic Algorithms ◽  
Digital Systems ◽  
Functional Verification

scholarly journals Functional Verification of High Performance Adders in COQ

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Qian Wang ◽  
Xiaoyu Song ◽  
Ming Gu ◽  
Jiaguang Sun
Keyword(s):  
Crucial Role ◽  
High Performance ◽  
Formal Proof ◽  
Digital Systems ◽  
Functional Verification ◽  
Proof Assistant ◽  
Systematic Method ◽  
Functional Correctness

Addition arithmetic design plays a crucial role in high performance digital systems. The paper proposes a systematic method to formalize and verify adders in a formal proof assistant COQ. The proposed approach succeeds in formalizing the gate-level implementations and verifying the functional correctness of the most important adders of interest in industry, in a faithful, scalable, and modularized way. The methodology can be extended to other adder architectures as well.

scholarly journals Real-time Internet Control of Situated Human Agents

2020 ◽  
Author(s):  
Niccolo Pescetelli ◽  
Manuel Cebrian ◽  
Iyad Rahwan
Keyword(s):  
Decision Making ◽  
Human Performance ◽  
Heuristic Algorithms ◽  
Physical Space ◽  
Digital Systems ◽  
Live Performance ◽  
Contemporary Debate ◽  
Internet Control ◽  
Scalable Internet ◽  
Simple Heuristics

We present an online platform, called BeeMe, designed to test the current boundaries of Internet collective action and problem solving. BeeMe allows a scalable internet crowd of online users to collectively control the actions of a human surrogate acting in physical space. BeeMe demonstrates how intelligent goal-oriented decision-making can emerge from large crowds in quasi real-time.We analyzed data collected from a global BeeMe live performance that involved thousands of individuals, collectively solving a sci-fi Internet mystery. We study simple heuristic algorithms that read in users' chat messages and output human actionable commands representing majority preferences, and compare their performance to the behavior of a human operator solving the same task. Results show that simple heuristics can achieve near-human performance in interpreting the democratic consensus. When human and machine's output differ, the discrepancy is often due to human bias favoring non-representative views. We discuss our results in light of previous work and the contemporary debate on democratic digital systems.

Creating a standard method of controlling digital microscopes: the microscope access protocol (map)

1995 ◽  
Vol 53 ◽  
pp. 16-17
Author(s):  
T. A. Dodson ◽  
E. Völkl ◽  
L. F. Allard ◽  
T. A. Nolan
Keyword(s):  
Data Storage ◽  
Storage Systems ◽  
Digital Systems ◽  
Data Networks ◽  
Digital Microscopy ◽  
Command Language ◽  
Access Protocol ◽  
Analog To Digital ◽  
Basic Physics ◽  
Scanning Electron

The process of moving to a fully digital microscopy laboratory requires changes in instrumentation, computing hardware, computing software, data storage systems, and data networks, as well as in the operating procedures of each facility. Moving from analog to digital systems in the microscopy laboratory is similar to the instrumentation projects being undertaken in many scientific labs. A central problem of any of these projects is to create the best combination of hardware and software to effectively control the parameters of data collection and then to actually acquire data from the instrument. This problem is particularly acute for the microscopist who wishes to "digitize" the operation of a transmission or scanning electron microscope. Although the basic physics of each type of instrument and the type of data (images & spectra) generated by each are very similar, each manufacturer approaches automation differently. The communications interfaces vary as well as the command language used to control the instrument.

Testing of Digital Systems

2003 ◽  
Author(s):  
N. K. Jha ◽  
S. Gupta
Keyword(s):  
Digital Systems

Comparison of Meta-heuristic Algorithms on Benchmark Functions

2019 ◽  
Vol 2 (3) ◽  
pp. 508-517
Author(s):  
FerdaNur Arıcı ◽  
Ersin Kaya
Keyword(s):  
Heuristic Algorithms ◽  
Optimization Problems ◽  
Search Algorithm ◽  
Optimization Algorithms ◽  
Gravitational Search Algorithm ◽  
Differential Evolution Algorithm ◽  
Population Based ◽  
Time Interval ◽  
Bee Colony ◽  
Different Characteristics

Optimization is a process to search the most suitable solution for a problem within an acceptable time interval. The algorithms that solve the optimization problems are called as optimization algorithms. In the literature, there are many optimization algorithms with different characteristics. The optimization algorithms can exhibit different behaviors depending on the size, characteristics and complexity of the optimization problem. In this study, six well-known population based optimization algorithms (artificial algae algorithm - AAA, artificial bee colony algorithm - ABC, differential evolution algorithm - DE, genetic algorithm - GA, gravitational search algorithm - GSA and particle swarm optimization - PSO) were used. These six algorithms were performed on the CEC’17 test functions. According to the experimental results, the algorithms were compared and performances of the algorithms were evaluated.

Segmentation of Brain Tumors using Meta Heuristic Algorithms

2014 ◽  
Vol 2014 (1) ◽  
pp. 1-10 ◽  
Author(s):  
Jobin Christ ◽  
◽  
S. Sivagowri ◽  
Ganesh Babu ◽  
◽  
...  
Keyword(s):  
Brain Tumors ◽  
Heuristic Algorithms

Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets

2009 ◽  
Vol E92-A (11) ◽  
pp. 2732-2744
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms

Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets

2013 ◽  
Vol E96.A (2) ◽  
pp. 540-553
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms ◽  
Timed Petri Nets
Sign in / Sign up

Export Citation Format

Share Document