Search results

With the growing system‐on‐a‐chip (SOC) design complexity, SOC verification has become a major congestion. In this context, efficient and reliable verification environment is requested for SOC design before it is committed to production. The purpose of this paper is to judge whether the hardware and or software (HW/SW) co‐verification environment can handle SOC verification and provide the necessary performance in terms of co‐verification speed and throughput, power and resource consumption, timing analysis, etc.

A finite‐impulse‐response filter is utilized as a device‐under‐test to compare pure SW simulation, Modelsim simulator in this case, and HW/SW co‐verification approaches to decide on whether the HW/SW co‐verification environment can do work or not. In addition, the performance of the HW/SW co‐verification environment is estimated based on specifications such as co‐verification speed and throughput, power and resource consumption, and timing analysis.

From experiment results, conclusions can be drawn that the more complicated SOC is, the greater the potential speedup of the co‐verification approach over SW simulation is. However, the communication between SW and HW in HW/SW co‐verification system is a major congestion, which may offset the acceleration achieved by moving large computation from the SW to the HW side.

Performance estimation for the HW/SW co‐verification environment has been conducted in terms of co‐verification speed and throughput, power and resource consumption, timing analysis, etc.

Based on social cognitive theory, this study aims to explore the psychological mechanism behind consumer verification behavior following tourism e-commerce live-streaming.

Based on grounded theory, data were collected through 20 semi-structured in-depth interviews and analyzed.

This study identified that companies commonly use reminder messages and secondary promotions to facilitate the verification of tourism live-streaming products. Throughout this process, consumers undergo various psychologies related to verification. Specifically, they experience four positive verification psychologies: fear of missing out, anticipated emotions, status self-esteem and promotional perception. They also encounter two negative verification psychologies: psychological reactance and invasiveness. In addition, environmental factors such as the type of tourism live-streaming products and tourism destinations, along with individual trait factors like cognitive miserliness, tourism experience, autonomy, regulatory mode and impulsiveness, play significant roles in shaping verification behavior. These factors collectively influence the formation of verification behavior.

This study can provide recommendations for tourism companies to conduct marketing events following live-streaming. It is one of the earlier comprehensive studies discussing how to promote verification behavior following tourism e-commerce live-streaming. It helps to understand the psychological mechanism underlying the formation of verification behavior.

Identity control theory has long posited that there are positive emotional consequences to identity verification and negative emotional consequences to the lack of identity verification. While some of the positive consequences of identity verification have been discussed, little work has been done to elaborate the variety of negative emotions that result for a discrepancy between meanings held in the identity standard and meanings perceived in the situation. This paper elaborates the nature of this discrepancy and hypothesizes the variety of negative emotions that arise depending upon the source of the discrepancy, the source of the identity standard, and the relative power and status of the actor and others in the situation. In this way, the emotional consequences of identity non-verification are shown to depend upon the context of the social structure in which the non-verification occurs.

This research continues to advance the role of emotion in identity theory by examining how the external social structure influences internal identity processes to produce negative emotions. According to identity control theory, negative arousal emerges when one experiences identity feedback that is non-verifying, persistent, and from a source who is familiar compared to unfamiliar to one. While other research has not definitively supported these relationships (Stets, 2003, 2005), the current research examines whether the identity theory hypotheses are conditioned upon one’s status in the social structure. Using the diffuse status characteristic of gender where the status of male is high and the status of female is low, I investigate the role of status (both as the recipient and source of non-verifying identity feedback), persistence, and familiarity in producing negative emotions. The data are based on a laboratory experiment that simulates a work situation and invokes the worker identity. Workers of high or low status are the recipients of identity non-verification that is persistent or non-persistent and that is from a familiar or unfamiliar other. Managers of high or low status and who are familiar or unfamiliar with the workers are the source of persistent or non-persistent identity non-verification. The results reveal that the status of actors both as the recipient and source of identity non-verification are significant for negative emotions, suggesting that status effects need to be incorporated into the theoretical development of emotions in identity theory.

Purpose – This chapter explores the effects of persistent identity nonverification on the emotional, cognitive, and behavioral responses used to “reclaim” an identity within the perceptual control model of identity theory.

Methodology/Approach – We conducted a within-subjects experiment invoking the “student” identity to examine the relationship between the persistence of nonverification and emotional, cognitive, and behavioral reactions.

Findings – Contrary to identity theory, we find the effect of persistent nonverification on negative emotion and behavior change is curvilinear (rather than linear). Low persistence produced the least negative emotion, but medium and high persistence produced comparably higher levels of negative emotion. For behavior change, the relationship is curvilinear and opposite what identity theory would expect: low persistence produced the greatest (rather than least) behavior change. For cognitive reactions, we find support for identity theory: persistent nonverification has a negative (linear) effect on the perceived accuracy of feedback. We conclude that while individuals accurately perceive the degree to which identity-relevant feedback is discrepant, “too much” nonverification produces excessive negative emotion and dismissal of social feedback with little behavioral modification.

Practical Implications – Program interventions based on identity theory may focus on maximizing identity verification as a means of shaping positive identities and behaviors. Our research suggests that there may be a “goldilocks zone” where small amounts of nonverification lead to more positive outcomes.

Originality/Value of the Chapter – This chapter examines persistence of identity nonverification in connection with more or less immediate cognitive and behavioral (not just affective) responses, which has not yet been done in identity theory research.

The extant literature on self-verification striving has primarily focused on employee recruitment and positive organizational outcomes, but there is insufficient research on its influence mechanism and boundary conditions. With taking charge as the mediating variable and authentic leadership as the moderating variable, this study aims to explore the relationship between self-verification striving and creative performance.

The authors collected 358 questionnaires from China. Linear regression was used to explore the influence mechanism and boundary conditions. Groups were classified by latent profile analysis, and differences among different groups were compared.

First, self-verification striving was significantly positively correlated with creative performance, and taking charge played a significant mediating role between them. Second, authentic leadership significantly positively moderated the relationship between self-verification striving and taking charge. Third, based on the willingness and action of self-verification striving, it was found that the taking charge and creative performance of the double high group was significantly higher than the high-medium group, while the double low group was significantly lower than the high-medium group.

First, this study makes up for the lack of influencing mechanism and inconsistency of research results between self-verification striving and employee outcomes. Second, the moderating effect of authentic leadership was proposed and verified, which enriched the universality of self-verification theory in Chinese context. Third, we found the differences in behaviors and outcomes among different groups, verified the uniqueness of self-verification striving in the Chinese context. It helps to explore the deep relationships that cannot be revealed by variables alone.

The purpose of this paper is to present a verification methodology for custom micro coded components designed for Avionics projects. Every electronic hardware which will be developed for an aircraft must be designed with the compliance of DO-254 processes. Requirements are the key elements of the aviation. All the requirements must be covered by the design to be considered as completed. Therefore, verification of the custom micro coded components against requirements should be comprehensively addressed. The verification using the manual testing approach is less preferable, as humans can possibly make mistakes. Therefore, the most used verification method today is the automated simulation.

The industry has developed a common methodology for generating automated testbenches by following the standardized guideline. This methodology is named as the universal verification methodology (UVM). In this paper, the verification study of ARINC-429 data bus digital design is presented to describe the DO-254 verification process using the UVM.

The results are supported with functional coverage and code coverage in addition to the assertions. It is observed that the design worked correctly.

To the best of the authors’ knowledge, this is the first study comprehensively describing the DO-254 verification process and demonstrating it by the UVM application of ARINC-429 on programmable logic devices.

The purpose of this paper is to test whether self-verification striving serves as an individual difference antecedent of emotional labor and explore whether various emotional labor tactics acted as mediating mechanisms through which self-verification striving relates to employee outcomes.

The sample used in this paper consisted of supervisor–subordinate dyads working in six hotels in South Korea and used multi-level analyses and the Monte Carlo method to test the research hypotheses presented in this paper.

Self-verification striving was positively and directly related to job performance as well as two out of three forms of emotional labor (i.e. the expression of naturally felt emotions and deep acting). Self-verification striving also indirectly related to job satisfaction through the expression of naturally felt emotions and indirectly related to job performance through deep acting.

The findings of this paper suggest that organizations should consider self-verification striving as an employment selection criterion and provide training programs to help their customer service employees engage in appropriate types of emotional labor.

This paper is the first to explore the underlying mechanisms through which self-verification striving relates to employee outcomes. It also empirically bolsters the notion that expressing naturally felt emotions is an important means of authentic self-expression that positively contributes to job satisfaction. Further, the authors found that self-verification striving positively relates to job performance partially through deep acting. Moreover, they have shown that self-verification striving, as an individual differences variable, is an antecedent of different types of emotional labor.

To report the work on the design of an integrated identity verification system architecture aimed at approaching high verification accuracy, continuous security, and user‐friendliness.

The reported research corresponds to the building process in the design science research paradigm. The requirements to an identity verification system are defined and used in the selection of architecture components. Furthermore, various issues affecting the suitability of component distribution between a terminal and a remote server are considered.

In order to meet the stated requirements, in the proposed architecture static and dynamic identity verification is combined. The use of the dynamic part enables continuous and user‐friendly verification, while the static part is responsible for accurate verification. A suitable distribution of architecture components between the terminal and the remote server is proposed.

The proposed architecture represents a specification that corresponds to the computational viewpoint of the reference model for open distributed processing. Other specifications, such as engineering or technological specifications, which are needed for successful implementation of the system, are not provided in the paper.

The paper provides a specification of the integrated identify verification system architecture that can be utilised during further design and subsequent implementation of the system.

While available approaches to identity verification in a mobile environment concentrate mainly on connectivity identity verification (employed in accessing communication services), the proposed architecture focuses on application‐level identity verification needed to access application‐level resources, remotely or locally on the terminal.

Rather than viewing social network technology (SNT) as a mere tool to access a networked audience, we emphasize its role as both a means and a social actor to help verify people’s self-images in an online social context.

Drawing upon self-verification theory, this study investigates a mechanism of how users are willing to use SNTs continuously through the cognitive and affective reactions on two different SNTs. Structural equation modeling was used via data collected from 320 Facebook and 313 Twitter users.

Our results demonstrated that Facebook users regard it only as a useful tool for presenting self-images, while Twitter users are likely to feel an emotional attachment to technology as a social actor when ideal self-verification is gained, and that different types of SNTs create differential contexts for self-verification.

This study suggests a new lens to understand SNT’s role as a social actor in the self-verification process, further identifying the SNT context in which SNT takes different roles.

In a certain SNT usage context, users are attached to SNTs, suggesting SNT providers consider features that enable SNT users to fulfill their own self-verification motives.

This study explores the roles of SNTs from a self-verification perspective. Our conceptualization of technology as a self-verifying social actor can further extend existing discussions on the role of SNT in response to self-verifying needs, while also promoting the continued use of SNTs in the future.