HOL2GDT a Formal Verification-Based Design Methodology

2001 ◽  
Author(s):  
Anand Chavan ◽  
Byoung Woo Min ◽  
Shiu-Kai Chin
Keyword(s):  
Formal Verification ◽  
Design Methodology

Improving a design methodology of synthesizable VHDL with formal verification

2016 ◽  
Author(s):  
Luis Gustavo Perpetuo Costa Marques ◽  
Max Hering de Queiroz ◽  
Jean-Marie Farines
Keyword(s):  
Formal Verification ◽  
Design Methodology

scholarly journals Semi‐formal specifications and formal verification improving the digital design: some statistics

2009 ◽  
Vol 7 (01) ◽  
Author(s):  
D. Torres ◽  
J. Cortéz ◽  
R.E. González
Keyword(s):  
Formal Verification ◽  
Design Methodology ◽  
Major Change ◽  
Digital Design ◽  
Formal Specifications ◽  
State Machines ◽  
Design Time ◽  
Verification Tool ◽  
Finite State ◽  
Property Specification

In this work, an improvement of the traditional digital design methodology is proposed. The major change is the use of a semiformal specification for the code implementation, the use of a verification tool and the establishment of properties for the formal verification of Finite State Machines (FSM). From semi‐formal specifications, assertions were written using Property Specification Language (PSL) for an alignment circuit. Finally, a set of properties for the verification of this module were established and proved using a model checking tool. Our statistics proved that the whole design process was improved and considerable design time was saved.

Review of Heuristic research: Design, methodology, and applications.

1991 ◽  
Vol 19 (2) ◽  
pp. 237-238
Author(s):  
Christopher M. Aanstoos
Keyword(s):  
Research Design ◽  
Design Methodology ◽  
Heuristic Research

Accuracy in the design methodology of abstracts

2003 ◽  
Vol 84 (2) ◽  
pp. 303-303
Author(s):  
Maurice Bernaiche ◽  
Michael Andary
Keyword(s):  
Design Methodology

On the Control of the Master Cylinder Hydraulic Pressure for Electro-Hydraulic Brake (EHB) Systems with the Sliding Mode Design Methodology

2018 ◽  
Vol 14 (4) ◽  
pp. 281-291 ◽  
Author(s):  
Qiping Chen ◽  
Yu Liu ◽  
Liping Zeng ◽  
Qiang Xiao ◽  
Conghui Zhou ◽  
...  
Keyword(s):  
Design Methodology ◽  
Sliding Mode ◽  
Hydraulic Pressure ◽  
Master Cylinder ◽  
Hydraulic Brake ◽  
Mode Design

Tourism awareness as a tourism development strategy: status of the issue

2020 ◽  
Vol 13 (9) ◽  
Author(s):  
M.I. Rosas-Jaco ◽  
S.X. Almeraya-Quintero ◽  
L.G. Guajardo-Hernández
Keyword(s):  
Development Strategy ◽  
Design Methodology ◽  
Local Development ◽  
Local Population ◽  
Host Community ◽  
Government Policies ◽  
Training Manual ◽  
Environmental Development ◽  
Main Engine ◽  
The Relationship

Objective: Tourism has become the main engine of economic, social and environmental development in several countries, so promoting tourism awareness among tourists and the local population should be a priority. The present study aims to suggest a status of the research carried out on the topic of tourism awareness. Design / methodology / approach: The type of analysis is through a retrospective and exploratory bibliometric study. The analysis materials were scientific articles and a training manual published between 2000 and 2020, registered by Scopus, Emerald insight and Dialnet, using “tourism awareness” as the keyword. Results: When considering the three senses in which tourism awareness ought to operate, it is concluded that studies are more focused on the relationship and contact of the host community with the tourist. It is observed that four out of six articles in this sense consider that education, training, and government policies around tourism awareness should be developed in a better way in the destinations, in order to be an element that contributes to the development of communities and reduces poverty in developing countries. Study limitations / implications: It is considered a limitation not to include thesis dissertations. Findings / conclusions: It is necessary to make visible the importance of tourism awareness as a local development strategy for communities, in addition to including tourism awareness on the part of tourists.

Assessment of land-use change in coastal areas through geographical information systems

2020 ◽  
Vol 13 (10) ◽  
Author(s):  
Verónica Lango-Reynoso ◽  
Karla Teresa González-Figueroa ◽  
Fabiola Lango-Reynoso ◽  
María del Refugio Castañeda-Chávez ◽  
Jesús Montoya-Mendoza
Keyword(s):  
Land Use ◽  
Land Use Change ◽  
Geographical Information Systems ◽  
Design Methodology ◽  
Scientific Information ◽  
Coastal Ecosystems ◽  
Coastal Areas ◽  
Geographical Information ◽  
Coastal Zones ◽  
Computer Based

Objective: This article describes and analyzes the main concepts of coastal ecosystems, these as a result of research concerning land-use change assessments in coastal areas. Design/Methodology/Approach: Scientific articles were searched using keywords in English and Spanish. Articles regarding land-use change assessment in coastal areas were selected, discarding those that although being on coastal zones and geographic and soil identification did not use Geographic Information System (GIS). Results: A GIS is a computer-based tool for evaluating the land-use change in coastal areas by quantifying variations. It is analyzed through GIS and its contributions; highlighting its importance and constant monitoring. Limitations of the study/Implications: This research analyzes national and international scientific information, published from 2007 to 2019, regarding the land-use change in coastal areas quantified with the digital GIS tool. Findings/Conclusions: GIS are useful tools in the identification and quantitative evaluation of changes in land-use in coastal ecosystems; which require constant evaluation due to their high dynamism.

Multitemporal distribution analysis of Dodonaea viscosa (L.) Jacq. by remote sensing in Durango, Mexico

2020 ◽  
Vol 13 (8) ◽  
Author(s):  
Marco, A. Márquez-Linares ◽  
Jonathan G. Escobar--Flores ◽  
Sarahi Sandoval- Espinosa ◽  
Gustavo Pérez-Verdín
Keyword(s):  
Neural Network ◽  
Artificial Neural Network ◽  
Design Methodology ◽  
Supervised Classification ◽  
Satellite Images ◽  
Ground Cover ◽  
Distribution Analysis ◽  
Dodonaea Viscosa ◽  
Artificial Neural ◽  
Landsat Satellite

Objective: to determine the distribution of D. viscosa in the vicinity of the Guadalupe Victoria Dam in Durango, Mexico, for the years 1990, 2010 and 2017.Design/Methodology/Approach: Landsat satellite images were processed in order to carry out supervised classifications using an artificial neural network. Images from the years 1990, 2010 and 2017 were used to estimate ground cover of D. viscosa, pastures, crops, shrubs, and oak forest. This data was used to calculate the expansion of D. viscosa in the study area.Results/Study Limitations/Implications: the supervised classification with the artificial neural network was optimal after 400 iterations, obtaining the best overall precision of 84.5 % for 2017. This contrasted with the year 1990, when overall accuracy was low at 45 % due to less training sites (fewer than 100) recorded for each of the land cover classes.Findings/Conclusions: in 1990, D. viscosa was found on only five hectares, while by 2017 it had increased to 147 hectares. If the disturbance caused by overgrazing continues, and based on the distribution of D. viscosa, it is likely that in a few years it will have the ability to invade half the study area, occupying agricultural, forested, and shrub areas

Organizational Justice and Employee Sustainability: The Mediating Role of Organizational Commitment

2020 ◽  
Vol 3 (3) ◽  
pp. 12-22
Author(s):  
Mehreen Fatima ◽  
Zeeshan Izhar ◽  
Zaheer Abbas Kazmi
Keyword(s):  
Organizational Commitment ◽  
Organizational Justice ◽  
Developing Country ◽  
Design Methodology ◽  
Direct Relationship ◽  
Banking Sector ◽  
Mediating Role ◽  
Research Gap ◽  
The Impact

Purpose- The primary purpose of the study is to determine the impact of organizational justice (OJ) on employee sustainability. Along with that, it also describes how organizational commitment mediates this direct relationship. This study includes all dimensions of OJ which are distributive, procedural and interactional (interpersonal & informational) within the context of a developing country (Pakistan). Design/Methodology- This study has considered employees working in the banking sector of Pakistan. Two hundred ten questionnaires were received back from employees. Regression analysis was used to analyze direct relationships between variables, while smart partial least squares (PLS) were used for mediation analysis. Findings- Results demonstrated that all hypothesis were accepted and it was also confirmed that organizational commitment (OC) mediates the direct relationship between OJ and employee sustainability (ES). Originality/value- Multidimensional construct of organizational justice was tested in this study, in the context of a developing country (Pakistan), to address the research gap.

Sign in / Sign up

Export Citation Format

Share Document